code.lsp

(PUT '|BAD1;bad1;OvlI;1| '|SPADreplace| '(XLAM (|opts1|) 1)) 

(DEFUN |BAD1;bad1;OvlI;1| (|opts1| $) (DECLARE (IGNORE $)) 1) 

(DEFUN |Bad1| ()
  (DECLARE (SPECIAL |$ConstructorCache|))
  (LET ((#1=#:G546 (|tableValue| |$ConstructorCache| '|Bad1|)))
    (COND (#1# (|CDRwithIncrement| (CDAR #1#)))
          (T
           (UNWIND-PROTECT
               (PROG1
                   (CDDAR
                    (SETF (|tableValue| |$ConstructorCache| '|Bad1|)
                            (LIST (CONS NIL (CONS 1 (|Bad1;|))))))
                 (SETQ #1# T))
             (COND
              ((NOT #1#) (|tableRemove!| |$ConstructorCache| '|Bad1|)))))))) 

(DEFUN |Bad1;| ()
  (DECLARE (SPECIAL |$ConstructorCache|))
  (LET (($ (|newShell| 10)) (|pv$| (|buildPredVector| 0 0 NIL)))
    (PROGN
     (SETF (|shellEntry| $ 0) '(|Bad1|))
     (SETF (|shellEntry| $ 3) |pv$|)
     (|haddProp| |$ConstructorCache| '|Bad1| NIL (CONS 1 $))
     (|stuffDomainSlots| $)
     $))) 

(MAKEPROP '|Bad1| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|Integer|) (0 . |One|)
              (|OrderedVariableList| (|%eval| '(|alpha| |beta|)))
              |BAD1;bad1;OvlI;1|)
           '#(|bad1| 4) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 9 '(0 6 0 7 1 0 6 8 9)))))
           '|lookupComplete|)) 

(SETF (|dbTemplate| (|constructorDB| '|Bad1|))
        #(NIL NIL NIL NIL NIL NIL (|Integer|) (0 . |One|)
          (|OrderedVariableList| (|%eval| '(|alpha| |beta|)))
          |BAD1;bad1;OvlI;1|)) 

(SETF (|dbLookupFunction| (|constructorDB| '|Bad1|)) '|lookupComplete|) 

(SETF (|dbConstructorForm| (|constructorDB| '|Bad1|)) '(|Bad1|)) 

(SETF (|dbConstructorKind| (|constructorDB| '|Bad1|)) '|package|) 

(SETF (|dbConstructorModemap| (|constructorDB| '|Bad1|))
        '(((|Bad1|)
           (CATEGORY |package|
            (SIGNATURE |bad1|
             ((|Integer|) (|OrderedVariableList| '(|alpha| |beta|))))))
          (T |Bad1|))) 

(SETF (|dbDualSignature| (|constructorDB| '|Bad1|)) '(NIL)) 

(SETF (|dbSourceFile| (|constructorDB| '|Bad1|))
        '"/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/bad1.spad") 

(SETF (|dbModemaps| (|constructorDB| '|Bad1|))
        '((|bad1| (*1 *2 *3)
           (AND (|isDomain| *3 (|OrderedVariableList| '(|alpha| |beta|)))
                (|isDomain| *2 (|Integer|)) (|isDomain| *1 (|Bad1|)))))) 

(SETF (|dbOperations| (|constructorDB| '|Bad1|))
        '((|bad1|
           (((|Integer|) (|OrderedVariableList| '(|alpha| |beta|))) 9 T ELT)))) 

(SETF (|dbOperationTable| (|constructorDB| '|Bad1|)) #(|bad1| 4)) 

(SETF (|dbCapsuleDefinitions| (|constructorDB| '|Bad1|))
        '((|BAD1;bad1;OvlI;1|
           ((|Integer|) (|OrderedVariableList| '(|alpha| |beta|)))))) 

(SETF (|dbAbbreviation| (|constructorDB| '|Bad1|)) 'BAD1)