(CGEN::WEAK-ENUM-INFO%-P)
(CGEN::ENUM-INFO%-P)
(CGEN::ABS/COMPLEX
 (2 2 (:REWRITE DEFAULT-UNARY-MINUS))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE DEFAULT-REALPART))
 (1 1 (:REWRITE DEFAULT-IMAGPART))
 )
(CGEN::ABS/ACL2-NUMBER)
(CGEN::MOD/COMPLEX
 (32 2 (:DEFINITION NONNEGATIVE-INTEGER-QUOTIENT))
 (14 9 (:REWRITE DEFAULT-+-2))
 (10 9 (:REWRITE DEFAULT-+-1))
 (8 5 (:REWRITE DEFAULT-UNARY-MINUS))
 (6 6 (:REWRITE DEFAULT-<-2))
 (6 6 (:REWRITE DEFAULT-<-1))
 (6 4 (:REWRITE DEFAULT-*-2))
 (6 4 (:REWRITE DEFAULT-*-1))
 (6 2 (:DEFINITION NFIX))
 (2 2 (:DEFINITION IFIX))
 (1 1 (:REWRITE DEFAULT-UNARY-/))
 (1 1 (:REWRITE DEFAULT-REALPART))
 (1 1 (:REWRITE DEFAULT-NUMERATOR))
 (1 1 (:REWRITE DEFAULT-DENOMINATOR))
 )
(CGEN::MOD/ACL2-NUMBER)
(CGEN::MAKE-NUMERIC-RANGE-ENUM-INFO)
(CGEN::MAKE-RANGE-ENUM-INFO%)
(CGEN::GET-ENUM-INFO%
 (12 12 (:TYPE-PRESCRIPTION CGEN::MODIFIED-SYMBOL-SATISFIES-SYMBOLP))
 )
(CGEN::SYMBOL-UNSIGNED-60BITS-ALISTP)
(CGEN::SYMBOL-UNSIGNED-60BITS-ALISTP-FORWARDS-TO-SYMBOL-ALISTP
 (61 61 (:REWRITE DEFAULT-CAR))
 (18 18 (:REWRITE DEFAULT-CDR))
 (17 17 (:REWRITE DEFAULT-<-2))
 (17 17 (:REWRITE DEFAULT-<-1))
 )
(CGEN::|next BE args|
 (5 5 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(CGEN::MAKE-GUARD-VAR-ASSOC-EQ)
(CGEN::CS%-ENUMCALLS-DEFDATA)
(CGEN::CS%-ENUMCALLS)
(CGEN::MAKE-NEXT-SIGMA_MV-LET)
(CGEN::DISPLAYED-RANGE)
(CGEN::DISPLAYED-DEFDATA-TYPE/EQ-CONSTRAINT)
(CGEN::DISPLAYED-ENUM-ALIST)
