(GET-TYPE-FROM-TYPE-SET-DECODED
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(DECODE-TS1)
(DECODE-TS
 (248 152 (:REWRITE DEFAULT-+-2))
 (207 151 (:REWRITE DEFAULT-<-2))
 (200 152 (:REWRITE DEFAULT-+-1))
 (157 151 (:REWRITE DEFAULT-<-1))
 (49 49 (:REWRITE DEFAULT-UNARY-MINUS))
 (32 32 (:REWRITE DEFAULT-IMAGPART))
 (31 31 (:REWRITE FOLD-CONSTS-IN-+))
 (24 24 (:REWRITE DEFAULT-REALPART))
 (14 14 (:REWRITE DEFAULT-NUMERATOR))
 (14 14 (:REWRITE DEFAULT-DENOMINATOR))
 (6 6 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 )
(CGEN::GET-TYPE-LIST-FROM-TYPE-SET)
(CGEN::VAR-TYPES-ALIST-FROM-ACL2-TYPE-ALIST)
(CGEN::MAKE-WEAKEST-TYPE-ALIST)
(CGEN::GET-ACL2-TYPE-ALIST-FN)
(CGEN::REIFY-TYPE-ALIST-HYPS)
(CGEN::KWOTE-NUMBERS)
(REIFY-POLY)
(CGEN::REIFY-POLY-LST-HYPS)
(CGEN::REIFY-POT-LST-HYPS)
(CGEN::COLLECT-TAU-ALIST)
(CGEN::TAU-ALIST-CLAUSE)
(CGEN::ALL-VALS
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::MAKE-VAR-TAUS-ALIST
 (9 3 (:REWRITE DEFDATA::PROPER-SYMBOL-LISTP-IS-SYMBOL-LIST))
 (6 6 (:TYPE-PRESCRIPTION DEFDATA::PROPER-SYMBOL-LISTP))
 (6 2 (:DEFINITION ALISTP))
 (4 4 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE DEFAULT-CDR))
 )
(CGEN::CONJOIN-TAU-INTERVAL-LST)
(CGEN::TAU-INTERVAL-ALIST)
(CGEN::TAU-INTERVAL-ALIST-CLAUSE-FN)
(CGEN::POSSIBLE-DEFDATA-TYPE-P)
(CGEN::POSSIBLE-DEFDATA-TYPE-LIST-P)
(CGEN::MEET)
(CGEN::DUMB-TYPE-ALIST-INFER-FROM-TERM)
(CGEN::DUMB-TYPE-ALIST-INFER-FROM-TERMS)
(CGEN::DUMB-TYPE-ALIST-INFER)
(CGEN::MEET-TYPE-ALIST)
