
(/VERSIONCHECK 2) 

(DEFPARAMETER |BitAggregate;AL| 'NIL) 

(DEFUN |BitAggregate| ()
  (LET (#:G1818)
    (COND
      (|BitAggregate;AL|)
      (T (SETQ |BitAggregate;AL| (|BitAggregate;|)))))) 

(DEFUN |BitAggregate;| ()
  (PROG (#0=#:G1816)
    (RETURN
      (PROG1 (LETT #0#
                   (|sublisV| (PAIR '(#1=#:G1815) (LIST '(|Boolean|)))
                       (|Join| (|OrderedSet|) (|Logic|)
                               (|OneDimensionalArrayAggregate| '#1#)
                               (|mkCategory| '|domain|
                                   '(((|not| ($ $)) T)
                                     ((|nand| ($ $ $)) T)
                                     ((|nor| ($ $ $)) T)
                                     ((|and| ($ $ $)) T)
                                     ((|or| ($ $ $)) T)
                                     ((|xor| ($ $ $)) T))
                                   NIL 'NIL NIL)))
                   |BitAggregate|)
        (SETELT #0# 0 '(|BitAggregate|)))))) 

(MAKEPROP '|BitAggregate| 'NILADIC T) 
