code.lsp

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) |AGG-;eq?;2$B;1|)) 

(PUT '|AGG-;eq?;2$B;1| '|SPADreplace| '|%peq|) 

(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Thing|) |AGG-;sample;$;2|)) 

(DEFUN |AGG-;eq?;2$B;1| (|a| |b| $) (DECLARE (IGNORE $)) (EQ |a| |b|)) 

(DEFUN |AGG-;sample;$;2| ($) (SPADCALL (|shellEntry| $ 9))) 

(DEFUN |Aggregate&| (|#1|)
  (LET* ((|dv$1| (|devaluate| |#1|))
         (|dv$| (LIST '|Aggregate&| |dv$1|))
         ($ (|newShell| 11))
         (|pv$| (|buildPredVector| 0 0 NIL)))
    (PROGN
     (SETF (|shellEntry| $ 0) |dv$|)
     (SETF (|shellEntry| $ 3) |pv$|)
     (|stuffDomainSlots| $)
     (SETF (|shellEntry| $ 6) |#1|)
     $))) 

(MAKEPROP '|Aggregate&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Boolean|)
              |AGG-;eq?;2$B;1| (0 . |empty|)
              (|%constant| (|AGG-;sample;$;2| $)))
           '#(|sample| 4 |eq?| 8) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 10
                                                 '(0 6 0 9 0 0 0 10 2 0 7 0 0
                                                   8)))))
           '|lookupComplete|)) 

(SETF (|dbTemplate| (|constructorDB| '|Aggregate&|))
        #(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Boolean|) |AGG-;eq?;2$B;1|
          (0 . |empty|) (|%constant| (|AGG-;sample;$;2| $)))) 

(SETF (|dbLookupFunction| (|constructorDB| '|Aggregate&|)) '|lookupComplete|) 

(SETF (|dbConstructorForm| (|constructorDB| '|Aggregate&|)) '(|Aggregate&| S)) 

(SETF (|dbConstructorKind| (|constructorDB| '|Aggregate&|)) '|package|) 

(SETF (|dbConstructorModemap| (|constructorDB| '|Aggregate&|))
        '(((|Aggregate&| |#1|)
           (CATEGORY |package| (SIGNATURE |sample| (|#1|) |constant|)
            (SIGNATURE |eq?| ((|Boolean|) |#1| |#1|)))
           (|Aggregate|))
          (T |Aggregate&|))) 

(SETF (|dbDualSignature| (|constructorDB| '|Aggregate&|)) '(NIL T)) 

(SETF (|dbSourceFile| (|constructorDB| '|Aggregate&|)) '"aggcat.spad") 

(SETF (|dbOperations| (|constructorDB| '|Aggregate&|))
        '((|sample| (($) 10 T CONST)) (|eq?| (((|Boolean|) $ $) 8 T ELT)))) 

(SETF (|dbOperationTable| (|constructorDB| '|Aggregate&|))
        #(|sample| 4 |eq?| 8)) 

(SETF (|dbCapsuleDefinitions| (|constructorDB| '|Aggregate&|))
        '((|AGG-;sample;$;2| ($)) (|AGG-;eq?;2$B;1| ((|Boolean|) $ $)))) 

(SETF (|dbAbbreviation| (|constructorDB| '|Aggregate&|)) 'AGG-)