		Search-engine friendly clone of the ACL2 documentation.

Logapp

Logappn

N-ary version of logapp.

This supports readable appending of multiple bit chunks, e.g.

(logappn 32 base
         8 padding
         24 offset)

This belongs to a more general library.

Definitions and Theorems

Function: logappn-fn

(defun logappn-fn (args)
  (cond ((endp args) 0)
        ((endp (cdr args)) 0)
        (t (cons 'logapp
                 (cons (car args)
                       (cons (cadr args)
                             (cons (logappn-fn (cddr args))
                                   'nil)))))))