		Search-engine friendly clone of the ACL2 documentation.

Convenience-constructors

Yyyjoin

Spread a binary function over two or more arguments.

Signature
(yyyjoin fn rev-args) → *

This is similar to the builtin xxxjoin, but it associates left instead of right, and arguments are passed reversed.

Definitions and Theorems

Function: yyyjoin

(defun yyyjoin (fn rev-args)
  (declare (xargs :guard t))
  (let ((__function__ 'yyyjoin))
    (declare (ignorable __function__))
    (if (cdr (cdr rev-args))
        (list fn (yyyjoin fn (cdr rev-args))
              (car rev-args))
      (list fn (second rev-args)
            (first rev-args)))))