540
(|Bad1|)
|package|
(((|Bad1|)
(CATEGORY |package|
(SIGNATURE |bad1| ((|Integer|) (|OrderedVariableList| '(|alpha| |beta|))))))
(T |Bad1|))
(NIL)
"/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/bad1.spad"
((|bad1| (*1 *2 *3)
(AND (|isDomain| *3 (|OrderedVariableList| '(|alpha| |beta|)))
(|isDomain| *2 (|Integer|)) (|isDomain| *1 (|Bad1|)))))
((|bad1| (((|Integer|) (|OrderedVariableList| '(|alpha| |beta|))) 9 T ELT)))
((|BAD1;bad1;OvlI;1| ((|Integer|) (|OrderedVariableList| '(|alpha| |beta|)))))
BAD1
(("documentation" 0 NIL) ("ancestors" 0 NIL) ("parents" 0 NIL)
("abbreviation" 0 535) ("predicates" 0 NIL) ("attributes" 0 NIL)
("signaturesAndLocals" 0 456) ("superDomain" 0 NIL) ("operationAlist" 0 379)
("modemaps" 0 231) ("sourceFile" 0 172) ("dualSignature" 0 166)
("constructorModemap" 0 40) ("constructorKind" 0 30) ("constructorForm" 0 21))