(CGEN::WEAK-CS%-P)
(CGEN::CS%-P)
(CGEN::|is (symbol . cs%)|)
(CGEN::SYMBOL-CS%-ALISTP)
(CGEN::PUT-ADDITIONAL-CONSTRAINTS.)
(CGEN::INSERT-BEFORE-KEY)
(CGEN::PUT-VAR-EQ-CONSTRAINT.
 (12 12 (:TYPE-PRESCRIPTION DEFDATA::GET2-FN))
 )
(CGEN::PUT-EQ-CONSTRAINT.)
(CGEN::PUT-MEMBER-CONSTRAINT.)
(CGEN::PUT-DEFDATA-TYPE.)
(CGEN::PROCESS-RETURN-LAST
 (442 218 (:REWRITE DEFAULT-+-2))
 (282 218 (:REWRITE DEFAULT-+-1))
 (220 44 (:DEFINITION LEN))
 (68 54 (:REWRITE DEFAULT-<-2))
 (64 54 (:REWRITE DEFAULT-<-1))
 (48 16 (:REWRITE DEFDATA::PROPER-SYMBOL-LISTP-IS-SYMBOL-LIST))
 (48 8 (:DEFINITION SYMBOL-LISTP))
 (40 40 (:REWRITE DEFAULT-UNARY-MINUS))
 (32 32 (:TYPE-PRESCRIPTION DEFDATA::PROPER-SYMBOL-LISTP))
 (29 29 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (27 27 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (20 20 (:REWRITE DEFAULT-NUMERATOR))
 (20 20 (:REWRITE DEFAULT-DENOMINATOR))
 (20 20 (:REWRITE DEFAULT-COERCE-2))
 (20 20 (:REWRITE DEFAULT-COERCE-1))
 (19 19 (:REWRITE DEFAULT-REALPART))
 (19 19 (:REWRITE DEFAULT-IMAGPART))
 (16 8 (:DEFINITION TRUE-LISTP))
 )
(CGEN::V-CS%-ALIST-FROM-TERM.)
(CGEN::V-CS%-ALIST-FROM-TERMS.
 (6 6 (:TYPE-PRESCRIPTION CGEN::V-CS%-ALIST-FROM-TERM.))
 )
(CGEN::PUT-RANGE-CONSTRAINT.)
(CGEN::RANGE-IS-ALIAS-P
 (6 6 (:TYPE-PRESCRIPTION DEFDATA::GET2-FN))
 )
(EMPTY-TAU-INTERVALP)
(SINGLETON-TAU-INTERVALP)
(CGEN::SINGLETON-TAU-INTERVALP)
(CGEN::NON-EMPTY-NON-UNIVERSAL-INTERVAL-P)
(CGEN::ASSIMILATE-APRIORI-TYPE-INFORMATION)
(CGEN::COLLECT-CONSTRAINTS%
 (3 3 (:TYPE-PRESCRIPTION UNION-EQUAL))
 )
(CGEN::ONE-WAY-UNIFY)
(CGEN::INNERMOST-SUBTERM-ONE-WAY-UNIFY)
(CGEN::SUBLIS-VAR)
(CGEN::FILTER-SPLICE-ENTRIES)
(CGEN::REMOVE1-ASSOC-EQ-LST)
(CGEN::EVAL-META-REPLACE)
(CGEN::MATCH-CONSTRAINT1)
(CGEN::RECORD-P)
(CGEN::EXPAND-RECORD)
(CGEN::MATCH-CONSTRAINT/LOOP)
(CGEN::MATCH-CONSTRAINT)
(CGEN::REFINE-ENUM-SHAPE1)
(CGEN::EXPAND-TERM-UNDER-BINDINGS)
(CGEN::CONTAINS-VAR)
(CGEN::REMOVE-TERMS-WITH-VARS)
(CGEN::REFINE-ENUM-SHAPE)
