
(/VERSIONCHECK 2) 

(DEFPARAMETER |BitAggregate;AL| 'NIL) 

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

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

(MAKEPROP '|BitAggregate| 'NILADIC T) 
