(C::FUN-INFOP
 (40 10 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C::CONSP-WHEN-FUN-INFOP)
(C::FUN-INFO-FIX$INLINE)
(C::FUN-INFOP-OF-FUN-INFO-FIX
 (16 8 (:REWRITE C::BLOCK-ITEM-LIST-FIX-WHEN-BLOCK-ITEM-LISTP))
 (14 6 (:REWRITE C::TYNAME-FIX-WHEN-TYNAMEP))
 (12 4 (:REWRITE C::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 (8 8 (:TYPE-PRESCRIPTION C::TYNAMEP))
 (8 8 (:TYPE-PRESCRIPTION C::PARAM-DECLON-LISTP))
 (8 8 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-LISTP))
 )
(C::FUN-INFO-FIX-WHEN-FUN-INFOP
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C::FUN-INFO-FIX$INLINE
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C::FUN-INFO-EQUIV$INLINE)
(C::FUN-INFO-EQUIV-IS-AN-EQUIVALENCE)
(C::FUN-INFO-EQUIV-IMPLIES-EQUAL-FUN-INFO-FIX-1)
(C::FUN-INFO-FIX-UNDER-FUN-INFO-EQUIV)
(C::EQUAL-OF-FUN-INFO-FIX-1-FORWARD-TO-FUN-INFO-EQUIV)
(C::EQUAL-OF-FUN-INFO-FIX-2-FORWARD-TO-FUN-INFO-EQUIV)
(C::FUN-INFO-EQUIV-OF-FUN-INFO-FIX-1-FORWARD)
(C::FUN-INFO-EQUIV-OF-FUN-INFO-FIX-2-FORWARD)
(C::FUN-INFO-FIX$INLINE-OF-FUN-INFO-FIX-X)
(C::FUN-INFO-FIX$INLINE-FUN-INFO-EQUIV-CONGRUENCE-ON-X)
(C::FUN-INFO->PARAMS$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C::PARAM-DECLON-LISTP-OF-FUN-INFO->PARAMS)
(C::FUN-INFO->PARAMS$INLINE-OF-FUN-INFO-FIX-X
 (9 3 (:REWRITE C::FUN-INFO-FIX-WHEN-FUN-INFOP))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (3 1 (:REWRITE C::TYNAME-FIX-WHEN-TYNAMEP))
 (3 1 (:REWRITE C::BLOCK-ITEM-LIST-FIX-WHEN-BLOCK-ITEM-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::TYNAMEP))
 (2 2 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-LISTP))
 )
(C::FUN-INFO->PARAMS$INLINE-FUN-INFO-EQUIV-CONGRUENCE-ON-X)
(C::FUN-INFO->RESULT$INLINE
 (8 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C::TYNAMEP-OF-FUN-INFO->RESULT)
(C::FUN-INFO->RESULT$INLINE-OF-FUN-INFO-FIX-X
 (9 3 (:REWRITE C::FUN-INFO-FIX-WHEN-FUN-INFOP))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (3 1 (:REWRITE C::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 (3 1 (:REWRITE C::BLOCK-ITEM-LIST-FIX-WHEN-BLOCK-ITEM-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::PARAM-DECLON-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-LISTP))
 )
(C::FUN-INFO->RESULT$INLINE-FUN-INFO-EQUIV-CONGRUENCE-ON-X)
(C::FUN-INFO->BODY$INLINE
 (9 3 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C::BLOCK-ITEM-LISTP-OF-FUN-INFO->BODY)
(C::FUN-INFO->BODY$INLINE-OF-FUN-INFO-FIX-X
 (9 3 (:REWRITE C::FUN-INFO-FIX-WHEN-FUN-INFOP))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (3 1 (:REWRITE C::TYNAME-FIX-WHEN-TYNAMEP))
 (3 1 (:REWRITE C::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::TYNAMEP))
 (2 2 (:TYPE-PRESCRIPTION C::PARAM-DECLON-LISTP))
 )
(C::FUN-INFO->BODY$INLINE-FUN-INFO-EQUIV-CONGRUENCE-ON-X)
(C::FUN-INFO)
(C::FUN-INFOP-OF-FUN-INFO
 (13 7 (:REWRITE C::BLOCK-ITEM-LIST-FIX-WHEN-BLOCK-ITEM-LISTP))
 (11 5 (:REWRITE C::TYNAME-FIX-WHEN-TYNAMEP))
 (10 4 (:REWRITE C::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 )
(C::FUN-INFO->PARAMS-OF-FUN-INFO)
(C::FUN-INFO->RESULT-OF-FUN-INFO)
(C::FUN-INFO->BODY-OF-FUN-INFO)
(C::FUN-INFO-OF-FIELDS
 (3 1 (:REWRITE C::FUN-INFO-FIX-WHEN-FUN-INFOP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 )
(C::FUN-INFO-FIX-WHEN-FUN-INFO
 (3 1 (:REWRITE C::FUN-INFO-FIX-WHEN-FUN-INFOP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 )
(C::EQUAL-OF-FUN-INFO
 (1 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 )
(C::FUN-INFO-OF-PARAM-DECLON-LIST-FIX-PARAMS
 (4 2 (:REWRITE C::TYNAME-FIX-WHEN-TYNAMEP))
 (4 2 (:REWRITE C::BLOCK-ITEM-LIST-FIX-WHEN-BLOCK-ITEM-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::TYNAMEP))
 (2 2 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-LISTP))
 )
(C::FUN-INFO-PARAM-DECLON-LIST-EQUIV-CONGRUENCE-ON-PARAMS)
(C::FUN-INFO-OF-TYNAME-FIX-RESULT
 (4 2 (:REWRITE C::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 (4 2 (:REWRITE C::BLOCK-ITEM-LIST-FIX-WHEN-BLOCK-ITEM-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::PARAM-DECLON-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::BLOCK-ITEM-LISTP))
 )
(C::FUN-INFO-TYNAME-EQUIV-CONGRUENCE-ON-RESULT)
(C::FUN-INFO-OF-BLOCK-ITEM-LIST-FIX-BODY
 (4 2 (:REWRITE C::TYNAME-FIX-WHEN-TYNAMEP))
 (4 2 (:REWRITE C::PARAM-DECLON-LIST-FIX-WHEN-PARAM-DECLON-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::TYNAMEP))
 (2 2 (:TYPE-PRESCRIPTION C::PARAM-DECLON-LISTP))
 )
(C::FUN-INFO-BLOCK-ITEM-LIST-EQUIV-CONGRUENCE-ON-BODY)
(C::FUN-INFO-FIX-REDEF)
(C::FUN-INFO-OPTIONP)
(C::CONSP-WHEN-FUN-INFO-OPTIONP)
(C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP)
(C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP
 (1 1 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 )
(C::FUN-INFO-OPTION-FIX$INLINE)
(C::FUN-INFO-OPTIONP-OF-FUN-INFO-OPTION-FIX
 (20 4 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (16 2 (:REWRITE C::FUN-INFO-FIX-WHEN-FUN-INFOP))
 )
(C::FUN-INFO-OPTION-FIX-WHEN-FUN-INFO-OPTIONP
 (16 4 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (16 3 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 )
(C::FUN-INFO-OPTION-FIX$INLINE
 (16 4 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (16 3 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (5 1 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (2 1 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 )
(C::FUN-INFO-OPTION-EQUIV$INLINE)
(C::FUN-INFO-OPTION-EQUIV-IS-AN-EQUIVALENCE)
(C::FUN-INFO-OPTION-EQUIV-IMPLIES-EQUAL-FUN-INFO-OPTION-FIX-1)
(C::FUN-INFO-OPTION-FIX-UNDER-FUN-INFO-OPTION-EQUIV)
(C::EQUAL-OF-FUN-INFO-OPTION-FIX-1-FORWARD-TO-FUN-INFO-OPTION-EQUIV)
(C::EQUAL-OF-FUN-INFO-OPTION-FIX-2-FORWARD-TO-FUN-INFO-OPTION-EQUIV)
(C::FUN-INFO-OPTION-EQUIV-OF-FUN-INFO-OPTION-FIX-1-FORWARD)
(C::FUN-INFO-OPTION-EQUIV-OF-FUN-INFO-OPTION-FIX-2-FORWARD)
(C::FUN-INFO-OPTION-FIX$INLINE-OF-FUN-INFO-OPTION-FIX-X)
(C::FUN-INFO-OPTION-FIX$INLINE-FUN-INFO-OPTION-EQUIV-CONGRUENCE-ON-X)
(C::DEFOPTION-LEMMA-FUN-INFO-FIX-NONNIL)
(C::FUN-INFO-OPTION-FIX-UNDER-IFF
 (8 1 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-FUN-INFO-OPTIONP))
 (8 1 (:REWRITE C::FUN-INFO-FIX-WHEN-FUN-INFOP))
 (7 2 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (7 2 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (5 5 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (5 5 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 )
(C::FUN-INFO-OPTION-EQUIV-REFINES-FUN-INFO-EQUIV
 (48 6 (:REWRITE C::FUN-INFO-FIX-WHEN-FUN-INFOP))
 (34 8 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (22 8 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (18 18 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (16 2 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-FUN-INFO-OPTIONP))
 )
(C::FUN-INFO-OPTION-NONE)
(C::RETURN-TYPE-OF-FUN-INFO-OPTION-NONE)
(C::FUN-INFO-OPTION-FIX-WHEN-NONE)
(C::EQUAL-OF-FUN-INFO-OPTION-NONE
 (5 3 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (3 2 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (3 1 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-FUN-INFO-OPTIONP))
 )
(C::FUN-INFO-OPTION-SOME->VAL$INLINE
 (11 2 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (9 3 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 )
(C::FUN-INFOP-OF-FUN-INFO-OPTION-SOME->VAL)
(C::FUN-INFO-OPTION-SOME->VAL$INLINE-OF-FUN-INFO-OPTION-FIX-X
 (48 11 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (25 9 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (24 3 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-FUN-INFO-OPTIONP))
 (23 23 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (5 5 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-NONE))
 (4 4 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTION-FIX$INLINE))
 (2 2 (:REWRITE C::FUN-INFO-OPTIONP-OF-FUN-INFO-OPTION-FIX))
 (2 2 (:REWRITE C::FUN-INFO-OPTION-FIX-UNDER-IFF))
 )
(C::FUN-INFO-OPTION-SOME->VAL$INLINE-FUN-INFO-OPTION-EQUIV-CONGRUENCE-ON-X)
(C::FUN-INFO-OPTION-SOME->VAL-WHEN-WRONG-KIND)
(C::FUN-INFO-OPTION-SOME
 (8 2 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (5 1 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (3 3 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 )
(C::RETURN-TYPE-OF-FUN-INFO-OPTION-SOME)
(C::FUN-INFO-OPTION-SOME->VAL-OF-FUN-INFO-OPTION-SOME
 (6 3 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 )
(C::FUN-INFO-OPTION-SOME-OF-FIELDS
 (11 3 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (8 3 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (7 1 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-FUN-INFO-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (1 1 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-NONE))
 )
(C::FUN-INFO-OPTION-FIX-WHEN-SOME
 (11 3 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (8 3 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (8 1 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-FUN-INFO-OPTIONP))
 (7 7 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (1 1 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-NONE))
 )
(C::EQUAL-OF-FUN-INFO-OPTION-SOME
 (33 17 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (22 19 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (4 4 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-NONE))
 )
(C::FUN-INFO-OPTION-SOME-OF-FUN-INFO-FIX-VAL
 (10 2 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (4 2 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 )
(C::FUN-INFO-OPTION-SOME-FUN-INFO-EQUIV-CONGRUENCE-ON-VAL)
(C::FUN-INFO-OPTION-FIX-REDEF
 (16 2 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-FUN-INFO-OPTIONP))
 (10 2 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (4 2 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (2 2 (:REWRITE C::FUN-INFO-OPTION-FIX-WHEN-NONE))
 )
(C::FUN-INFO-FROM-FUNDEF)
(C::FUN-INFOP-OF-FUN-INFO-FROM-FUNDEF)
(C::FUN-INFO-FROM-FUNDEF-OF-FUNDEF-FIX-FUNDEF
 (3 1 (:REWRITE C::FUNDEF-FIX-WHEN-FUNDEFP))
 (2 2 (:TYPE-PRESCRIPTION C::FUNDEFP))
 )
(C::FUN-INFO-FROM-FUNDEF-FUNDEF-EQUIV-CONGRUENCE-ON-FUNDEF)
(C::FUN-ENVP)
(C::BOOLEANP-OF-FUN-ENVP
 (8 2 (:DEFINITION C::FUN-ENVP))
 (2 2 (:TYPE-PRESCRIPTION C::IDENTP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (2 2 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::MAPP-WHEN-FUN-ENVP)
(C::FUN-ENVP-OF-TAIL
 (63 18 (:REWRITE <<-TRICHOTOMY))
 (52 10 (:REWRITE <<-ASYMMETRIC))
 (24 6 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (21 17 (:REWRITE <<-TRANSITIVE))
 (12 12 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (6 6 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (6 6 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (6 2 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (1 1 (:REWRITE <<-IRREFLEXIVE))
 )
(C::IDENTP-OF-HEAD-KEY-WHEN-FUN-ENVP
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (12 3 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (9 9 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (8 2 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (5 1 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (4 4 (:TYPE-PRESCRIPTION FAST-<<))
 (3 3 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (1 1 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 )
(C::FUN-INFOP-OF-HEAD-VAL-WHEN-FUN-ENVP
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (20 5 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (11 3 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (9 9 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (8 8 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (8 2 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (4 4 (:TYPE-PRESCRIPTION C::IDENTP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (4 4 (:TYPE-PRESCRIPTION FAST-<<))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (1 1 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 )
(C::FUN-ENVP-OF-UPDATE
 (285 285 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (228 51 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (187 69 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (113 113 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (110 38 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (102 102 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (75 27 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (51 51 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (47 24 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (30 10 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTYP))
 (1 1 (:REWRITE-QUOTED-CONSTANT TRUE-LIST-LIST-FIX-UNDER-TRUE-LIST-LIST-EQUIV))
 )
(C::FUN-ENVP-OF-UPDATE*
 (57 15 (:REWRITE <<-TRICHOTOMY))
 (51 9 (:REWRITE <<-ASYMMETRIC))
 (24 6 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (15 15 (:REWRITE <<-TRANSITIVE))
 (15 3 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (12 3 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (9 9 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (6 6 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 (3 1 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::UPDATE*))
 (1 1 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 )
(C::FUN-ENVP-OF-DELETE
 (16 4 (:DEFINITION C::FUN-ENVP))
 (4 4 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::FUN-ENVP-OF-DELETE*
 (38 10 (:REWRITE <<-TRICHOTOMY))
 (34 6 (:REWRITE <<-ASYMMETRIC))
 (16 4 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (10 10 (:REWRITE <<-TRANSITIVE))
 (10 2 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (8 2 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (3 1 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 )
(C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X
 (4 1 (:DEFINITION C::FUN-ENVP))
 (1 1 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (1 1 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::IDENTP-OF-CAR-OF-ASSOC-FUN-ENVP
 (20 4 (:DEFINITION C::FUN-ENVP))
 (7 7 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (4 4 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (4 4 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::FUN-INFOP-OF-CDR-OF-ASSOC-FUN-ENVP
 (20 4 (:DEFINITION C::FUN-ENVP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENTP))
 (4 4 (:TYPE-PRESCRIPTION FAST-<<))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::FUN-INFOP-OF-LOOKUP-WHEN-FUN-ENVP
 (5 1 (:DEFINITION C::FUN-ENVP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENTP))
 (1 1 (:TYPE-PRESCRIPTION FAST-<<))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::FUN-ENV-FIX
 (1 1 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 )
(C::FUN-ENVP-OF-FUN-ENV-FIX)
(C::FUN-ENV-FIX-WHEN-FUN-ENVP
 (16 16 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 )
(C::EMPTYP-FUN-ENV-FIX
 (4 2 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 )
(C::EMPTYP-OF-FUN-ENV-FIX-TO-NOT-FUN-ENV-OR-EMPTYP
 (8 8 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 (3 1 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (24 24 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 )
(C::FUN-ENV-EQUIV$INLINE
 (4 4 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 )
(C::FUN-ENV-EQUIV-IS-AN-EQUIVALENCE)
(C::FUN-ENV-EQUIV-IMPLIES-EQUAL-FUN-ENV-FIX-1)
(C::FUN-ENV-FIX-UNDER-FUN-ENV-EQUIV)
(C::EQUAL-OF-FUN-ENV-FIX-1-FORWARD-TO-FUN-ENV-EQUIV)
(C::EQUAL-OF-FUN-ENV-FIX-2-FORWARD-TO-FUN-ENV-EQUIV)
(C::FUN-ENV-EQUIV-OF-FUN-ENV-FIX-1-FORWARD)
(C::FUN-ENV-EQUIV-OF-FUN-ENV-FIX-2-FORWARD)
(C::FUN-ENV-FIX-OF-FUN-ENV-FIX-X
 (9 9 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 )
(C::FUN-ENV-FIX-FUN-ENV-EQUIV-CONGRUENCE-ON-X)
(C::FUN-ENV-RESULTP)
(C::CONSP-WHEN-FUN-ENV-RESULTP)
(C::FUN-ENV-RESULT-KIND$INLINE)
(C::FUN-ENV-RESULT-KIND-POSSIBILITIES
 (8 2 (:DEFINITION C::FUN-ENVP))
 (2 2 (:TYPE-PRESCRIPTION C::IDENTP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (2 2 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::FUN-ENV-RESULT-FIX$INLINE
 (1 1 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 )
(C::FUN-ENV-RESULTP-OF-FUN-ENV-RESULT-FIX
 (21 1 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (13 1 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 (10 10 (:TYPE-PRESCRIPTION STRIP-CARS))
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (4 4 (:TYPE-PRESCRIPTION ALISTP))
 (3 3 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 (1 1 (:TYPE-PRESCRIPTION FTY::RESERRP))
 )
(C::FUN-ENV-RESULT-FIX-WHEN-FUN-ENV-RESULTP
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C::FUN-ENV-RESULT-FIX$INLINE
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (24 24 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 )
(C::FUN-ENV-RESULT-EQUIV$INLINE
 (4 4 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 )
(C::FUN-ENV-RESULT-EQUIV-IS-AN-EQUIVALENCE)
(C::FUN-ENV-RESULT-EQUIV-IMPLIES-EQUAL-FUN-ENV-RESULT-FIX-1)
(C::FUN-ENV-RESULT-FIX-UNDER-FUN-ENV-RESULT-EQUIV)
(C::EQUAL-OF-FUN-ENV-RESULT-FIX-1-FORWARD-TO-FUN-ENV-RESULT-EQUIV)
(C::EQUAL-OF-FUN-ENV-RESULT-FIX-2-FORWARD-TO-FUN-ENV-RESULT-EQUIV)
(C::FUN-ENV-RESULT-EQUIV-OF-FUN-ENV-RESULT-FIX-1-FORWARD)
(C::FUN-ENV-RESULT-EQUIV-OF-FUN-ENV-RESULT-FIX-2-FORWARD)
(C::FUN-ENV-RESULT-KIND$INLINE-OF-FUN-ENV-RESULT-FIX-X
 (169 13 (:REWRITE C::IDENTP-WHEN-WRONG-TAG))
 (13 13 (:REWRITE C::TAG-WHEN-TYNAMEP))
 (13 13 (:REWRITE C::TAG-WHEN-TRANSUNITP))
 (13 13 (:REWRITE C::TAG-WHEN-TRANSUNIT-ENSEMBLEP))
 (13 13 (:REWRITE C::TAG-WHEN-STRUCT-DECLONP))
 (13 13 (:REWRITE FTY::TAG-WHEN-RESERRP))
 (13 13 (:REWRITE C::TAG-WHEN-PARAM-DECLONP))
 (13 13 (:REWRITE C::TAG-WHEN-OBJ-DECLONP))
 (13 13 (:REWRITE C::TAG-WHEN-IDENTP))
 (13 13 (:REWRITE C::TAG-WHEN-ICONSTP))
 (13 13 (:REWRITE C::TAG-WHEN-FUNDEFP))
 (13 13 (:REWRITE C::TAG-WHEN-FUN-DECLONP))
 (13 13 (:REWRITE C::TAG-WHEN-ERRORP))
 (6 1 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (5 1 (:DEFINITION FTY::RESERRP))
 (2 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:REWRITE C::FUN-ENV-RESULT-FIX-WHEN-FUN-ENV-RESULTP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C::FUN-ENV-RESULT-KIND$INLINE-FUN-ENV-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::FUN-ENV-RESULT-FIX$INLINE-OF-FUN-ENV-RESULT-FIX-X
 (9 9 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 )
(C::FUN-ENV-RESULT-FIX$INLINE-FUN-ENV-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::FUN-ENV-RESULT-OK->GET$INLINE
 (1 1 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK->GET$INLINE))
 )
(C::FUN-ENVP-OF-FUN-ENV-RESULT-OK->GET
 (20 2 (:DEFINITION C::FUN-ENVP))
 (16 1 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 (9 1 (:DEFINITION C::FUN-ENV-FIX))
 (3 3 (:TYPE-PRESCRIPTION C::IDENTP))
 (3 3 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (3 3 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK->GET$INLINE))
 (3 3 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::FUN-ENV-RESULT-OK->GET$INLINE-OF-FUN-ENV-RESULT-FIX-X
 (108 108 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 (54 18 (:REWRITE C::FUN-ENV-RESULT-FIX-WHEN-FUN-ENV-RESULTP))
 (36 36 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULTP))
 (26 16 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 (24 16 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK->GET$INLINE))
 )
(C::FUN-ENV-RESULT-OK->GET$INLINE-FUN-ENV-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::FUN-ENV-RESULT-OK->GET-WHEN-WRONG-KIND
 (12 12 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK->GET$INLINE))
 )
(C::FUN-ENV-RESULT-OK
 (4 1 (:DEFINITION C::FUN-ENVP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENTP))
 (1 1 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (1 1 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK))
 (1 1 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::RETURN-TYPE-OF-FUN-ENV-RESULT-OK
 (26 2 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 (13 1 (:DEFINITION FTY::RESERRP))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (3 3 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK))
 (1 1 (:REWRITE-QUOTED-CONSTANT C::FUN-ENV-RESULT-FIX-UNDER-FUN-ENV-RESULT-EQUIV))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C::FUN-ENV-RESULT-OK->GET-OF-FUN-ENV-RESULT-OK
 (68 68 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK))
 (27 27 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 (16 8 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK->GET$INLINE))
 )
(C::FUN-ENV-RESULT-OK-OF-FIELDS
 (52 7 (:DEFINITION C::FUN-ENVP))
 (13 13 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK->GET$INLINE))
 (13 13 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 (10 10 (:TYPE-PRESCRIPTION C::IDENTP))
 (10 10 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (10 10 (:TYPE-PRESCRIPTION FAST-<<))
 (6 3 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK))
 (3 1 (:REWRITE C::FUN-ENV-RESULT-FIX-WHEN-FUN-ENV-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULTP))
 )
(C::FUN-ENV-RESULT-FIX-WHEN-OK
 (42 6 (:DEFINITION C::FUN-ENVP))
 (13 13 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK->GET$INLINE))
 (13 13 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 (8 8 (:TYPE-PRESCRIPTION C::IDENTP))
 (8 8 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (8 8 (:TYPE-PRESCRIPTION FAST-<<))
 (6 3 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK))
 (3 1 (:REWRITE C::FUN-ENV-RESULT-FIX-WHEN-FUN-ENV-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULTP))
 )
(C::EQUAL-OF-FUN-ENV-RESULT-OK)
(C::FUN-ENV-RESULT-OK-OF-FUN-ENV-FIX-GET
 (42 6 (:DEFINITION C::FUN-ENVP))
 (9 6 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK))
 (8 8 (:TYPE-PRESCRIPTION C::IDENTP))
 (8 8 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (8 8 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C::FUN-ENV-RESULT-OK-FUN-ENV-EQUIV-CONGRUENCE-ON-GET)
(C::FUN-ENV-RESULT-ERR->GET$INLINE
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C::RESERRP-OF-FUN-ENV-RESULT-ERR->GET
 (93 3 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (15 6 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C::FUN-ENV-RESULT-ERR->GET$INLINE-OF-FUN-ENV-RESULT-FIX-X
 (186 10 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (166 10 (:DEFINITION FTY::RESERRP))
 (84 20 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (72 72 (:TYPE-PRESCRIPTION STRIP-CARS))
 (38 8 (:DEFINITION ALISTP))
 (33 11 (:REWRITE C::FUN-ENV-RESULT-FIX-WHEN-FUN-ENV-RESULTP))
 (28 28 (:TYPE-PRESCRIPTION ALISTP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULTP))
 (21 21 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 (10 10 (:TYPE-PRESCRIPTION FTY::RESERRP))
 (7 7 (:DEFINITION STRIP-CARS))
 (3 3 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 )
(C::FUN-ENV-RESULT-ERR->GET$INLINE-FUN-ENV-RESULT-EQUIV-CONGRUENCE-ON-X)
(C::FUN-ENV-RESULT-ERR->GET-WHEN-WRONG-KIND
 (3 1 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (1 1 (:TYPE-PRESCRIPTION FTY::RESERRP))
 (1 1 (:DEFINITION FTY::RESERRP))
 )
(C::FUN-ENV-RESULT-ERR
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C::RETURN-TYPE-OF-FUN-ENV-RESULT-ERR)
(C::FUN-ENV-RESULT-ERR->GET-OF-FUN-ENV-RESULT-ERR
 (50 8 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (36 1 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (34 1 (:DEFINITION FTY::RESERRP))
 (10 10 (:TYPE-PRESCRIPTION STRIP-CARS))
 (9 1 (:DEFINITION ALISTP))
 (4 4 (:TYPE-PRESCRIPTION ALISTP))
 (3 3 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 (3 1 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION FTY::RESERRP))
 )
(C::FUN-ENV-RESULT-ERR-OF-FIELDS
 (42 2 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (38 2 (:DEFINITION FTY::RESERRP))
 (20 20 (:TYPE-PRESCRIPTION STRIP-CARS))
 (13 13 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 (10 4 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 (8 2 (:DEFINITION ALISTP))
 (3 1 (:REWRITE C::FUN-ENV-RESULT-FIX-WHEN-FUN-ENV-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION FTY::RESERRP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULTP))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(C::FUN-ENV-RESULT-FIX-WHEN-ERR
 (22 2 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (19 1 (:DEFINITION FTY::RESERRP))
 (13 13 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 (10 10 (:TYPE-PRESCRIPTION STRIP-CARS))
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (4 4 (:TYPE-PRESCRIPTION ALISTP))
 (4 1 (:DEFINITION ALISTP))
 (3 1 (:REWRITE C::FUN-ENV-RESULT-FIX-WHEN-FUN-ENV-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULTP))
 (1 1 (:TYPE-PRESCRIPTION FTY::RESERRP))
 (1 1 (:DEFINITION STRIP-CARS))
 )
(C::EQUAL-OF-FUN-ENV-RESULT-ERR
 (76 6 (:REWRITE FTY::RESERR-FIX-WHEN-RESERRP))
 (58 6 (:DEFINITION FTY::RESERRP))
 (29 23 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (20 20 (:TYPE-PRESCRIPTION STRIP-CARS))
 (12 6 (:DEFINITION ALISTP))
 (10 2 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 (6 6 (:DEFINITION STRIP-CARS))
 (4 4 (:TYPE-PRESCRIPTION FTY::RESERRP))
 (4 4 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 (4 2 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 )
(C::FUN-ENV-RESULT-ERR-OF-RESERR-FIX-GET)
(C::FUN-ENV-RESULT-ERR-RESERR-EQUIV-CONGRUENCE-ON-GET)
(C::FUN-ENV-RESULT-FIX-REDEF
 (22 11 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK))
 (15 15 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-FIX$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULT-OK->GET$INLINE))
 (9 3 (:REWRITE C::FUN-ENV-RESULT-FIX-WHEN-FUN-ENV-RESULTP))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-ENV-RESULTP))
 )
(C::FUN-ENV-RESULTP-WHEN-FUN-ENVP
 (57 15 (:REWRITE <<-TRICHOTOMY))
 (51 9 (:REWRITE <<-ASYMMETRIC))
 (24 6 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (15 15 (:REWRITE <<-TRANSITIVE))
 (15 3 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (12 3 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (9 9 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 )
(C::FUN-ENV-RESULTP-WHEN-RESERRP
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (3 1 (:REWRITE C::FUN-ENV-RESULTP-WHEN-FUN-ENVP))
 (1 1 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 )
(C::NOT-RESERRP-WHEN-FUN-ENVP
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (8 2 (:REWRITE C::FUN-INFOP-WHEN-FUN-INFO-OPTIONP))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (5 1 (:REWRITE C::FUN-INFO-OPTIONP-WHEN-FUN-INFOP))
 (4 1 (:REWRITE C::IDENTP-OF-CAR-WHEN-IDENT-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::FUN-INFO-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::IDENT-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::FUN-INFOP))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENT-LISTP-WHEN-NOT-CONSP))
 )
(C::FUN-ENVP-WHEN-FUN-ENV-RESULTP-AND-NOT-RESERRP
 (4 1 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 (1 1 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 (1 1 (:REWRITE C::FUN-ENV-RESULTP-WHEN-RESERRP))
 (1 1 (:REWRITE C::FUN-ENV-RESULTP-WHEN-FUN-ENVP))
 )
(C::FUN-ENV-LOOKUP
 (6 6 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 (1 1 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::FUN-INFO-OPTIONP-OF-FUN-ENV-LOOKUP
 (15 15 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 (12 2 (:REWRITE OMAP::ASSOC-WHEN-EMPTYP))
 (10 2 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (8 2 (:REWRITE C::EMPTYP-OF-FUN-ENV-FIX-TO-NOT-FUN-ENV-OR-EMPTYP))
 (6 2 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENTP))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::FUN-ENV-LOOKUP-OF-IDENT-FIX-NAME)
(C::FUN-ENV-LOOKUP-IDENT-EQUIV-CONGRUENCE-ON-NAME)
(C::FUN-ENV-LOOKUP-OF-FUN-ENV-FIX-FENV)
(C::FUN-ENV-LOOKUP-FUN-ENV-EQUIV-CONGRUENCE-ON-FENV)
(C::FUN-ENV-EXTEND
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::FUN-ENV-RESULTP-OF-FUN-ENV-EXTEND
 (19 3 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (12 2 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (10 3 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::UPDATE-TYPE-PRESCRIPTION))
 (8 2 (:REWRITE C::EMPTYP-OF-FUN-ENV-FIX-TO-NOT-FUN-ENV-OR-EMPTYP))
 (6 6 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 (6 2 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::FUN-ENV-EXTEND-OF-FUNDEF-FIX-FUNDEF
 (16 16 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 (12 2 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (8 2 (:REWRITE C::EMPTYP-OF-FUN-ENV-FIX-TO-NOT-FUN-ENV-OR-EMPTYP))
 (6 6 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (4 2 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 (3 1 (:REWRITE C::FUNDEF-FIX-WHEN-FUNDEFP))
 (2 2 (:TYPE-PRESCRIPTION C::FUNDEFP))
 )
(C::FUN-ENV-EXTEND-FUNDEF-EQUIV-CONGRUENCE-ON-FUNDEF)
(C::FUN-ENV-EXTEND-OF-FUN-ENV-FIX-FENV)
(C::FUN-ENV-EXTEND-FUN-ENV-EQUIV-CONGRUENCE-ON-FENV)
(C::INIT-FUN-ENV-AUX
 (11 2 (:REWRITE FTY::RESERRP-WHEN-RESERR-OPTIONP))
 (9 9 (:REWRITE C::EXT-DECLON-LISTP-WHEN-NOT-CONSP))
 (8 1 (:REWRITE FTY::RESERR-OPTIONP-WHEN-RESERRP))
 (3 3 (:TYPE-PRESCRIPTION FTY::RESERR-OPTIONP))
 )
(C::FUN-ENV-RESULTP-OF-INIT-FUN-ENV-AUX
 (4 4 (:TYPE-PRESCRIPTION C::FUN-ENV-FIX))
 (3 1 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 )
(C::INIT-FUN-ENV-AUX-OF-EXT-DECLON-LIST-FIX-DECLONS
 (1191 204 (:REWRITE C::EXT-DECLON-LIST-FIX-WHEN-EXT-DECLON-LISTP))
 (930 310 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 (620 620 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 (591 591 (:TYPE-PRESCRIPTION C::EXT-DECLON-LISTP))
 (384 96 (:REWRITE C::EXT-DECLON-LISTP-OF-CDR-WHEN-EXT-DECLON-LISTP))
 (300 300 (:REWRITE C::EXT-DECLON-LISTP-WHEN-NOT-CONSP))
 (6 2 (:REWRITE C::EXT-DECLON-FIX-WHEN-EXT-DECLONP))
 (4 4 (:TYPE-PRESCRIPTION C::EXT-DECLONP))
 )
(C::INIT-FUN-ENV-AUX-EXT-DECLON-LIST-EQUIV-CONGRUENCE-ON-DECLONS)
(C::INIT-FUN-ENV-AUX-OF-FUN-ENV-FIX-FENV
 (44 16 (:REWRITE C::FUN-ENV-FIX-WHEN-FUN-ENVP))
 (28 28 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 )
(C::INIT-FUN-ENV-AUX-FUN-ENV-EQUIV-CONGRUENCE-ON-FENV)
(C::INIT-FUN-ENV)
(C::FUN-ENV-RESULTP-OF-INIT-FUN-ENV)
(C::INIT-FUN-ENV-OF-TRANSUNIT-FIX-TUNIT)
(C::INIT-FUN-ENV-TRANSUNIT-EQUIV-CONGRUENCE-ON-TUNIT)
