(C2C::COPY-FN-FUNDEF)
(C2C::FUNDEF-OPTIONP-OF-COPY-FN-FUNDEF)
(C2C::COPY-FN-EXT-DECLON
 (16 16 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (6 6 (:REWRITE C$::IDENTP-WHEN-ASSOC-VALID-EXTERNALSP-BINDS-FREE-X))
 (6 6 (:REWRITE C$::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 )
(C2C::BOOLEANP-OF-COPY-FN-EXT-DECLON.FOUND
 (15 3 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EXT-DECLONP))
 (6 6 (:TYPE-PRESCRIPTION C$::EXT-DECLONP))
 (6 6 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 (4 3 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EMPTY))
 )
(C2C::EXT-DECLON-LISTP-OF-COPY-FN-EXT-DECLON.EXTDECLS
 (30 6 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EXT-DECLONP))
 (20 20 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 (12 12 (:TYPE-PRESCRIPTION C$::EXT-DECLONP))
 (10 10 (:REWRITE C$::EXT-DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (9 6 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EMPTY))
 (5 5 (:REWRITE C$::EXT-DECLON-LISTP-WHEN-NOT-CONSP))
 )
(C2C::COPY-FN-TRANS-ITEM
 (8 8 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (6 6 (:REWRITE C$::IDENTP-WHEN-ASSOC-VALID-EXTERNALSP-BINDS-FREE-X))
 (6 6 (:REWRITE C$::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 )
(C2C::BOOLEANP-OF-COPY-FN-TRANS-ITEM.FOUND
 (5 1 (:REWRITE C$::TRANS-ITEM-FIX-WHEN-TRANS-ITEMP))
 (2 2 (:TYPE-PRESCRIPTION C$::TRANS-ITEMP))
 (2 2 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 (2 2 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 (1 1 (:REWRITE C$::TRANS-ITEM-LIST-DECLON-WHEN-NOT-CONSP))
 )
(C2C::TRANS-ITEM-LISTP-OF-COPY-FN-TRANS-ITEM.ITEMS
 (10 2 (:REWRITE C$::TRANS-ITEM-FIX-WHEN-TRANS-ITEMP))
 (6 6 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 (6 6 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 (4 4 (:TYPE-PRESCRIPTION C$::TRANS-ITEMP))
 (4 4 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::TRANS-ITEM-LIST-DECLON-WHEN-NOT-CONSP))
 )
(C2C::COPY-FN-TRANS-ITEM-LIST
 (24 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (8 8 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (8 8 (:REWRITE C$::IDENTP-WHEN-ASSOC-VALID-EXTERNALSP-BINDS-FREE-X))
 (8 8 (:REWRITE C$::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (6 6 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 1 (:REWRITE C$::SETP-WHEN-UID-SETP))
 (2 1 (:REWRITE C$::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (2 1 (:REWRITE C$::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (2 1 (:REWRITE C$::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (2 1 (:REWRITE C$::SETP-WHEN-IDENT-OPTION-SETP))
 (2 1 (:REWRITE C$::SETP-WHEN-FILEPATH-SETP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION C$::UID-SETP))
 (1 1 (:TYPE-PRESCRIPTION C$::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (1 1 (:TYPE-PRESCRIPTION C$::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C$::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (1 1 (:TYPE-PRESCRIPTION C$::IDENT-OPTION-SETP))
 (1 1 (:TYPE-PRESCRIPTION C$::FILEPATH-SETP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::TRANS-ITEM-LIST-ANNOP-WHEN-ATOM))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE SET::IN-SET))
 )
(C2C::TRANS-ITEM-LISTP-OF-COPY-FN-TRANS-ITEM-LIST
 (68 2 (:REWRITE C$::TRANS-ITEM-LIST-FIX-WHEN-TRANS-ITEM-LISTP))
 (59 14 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-NOT-CONSP))
 (54 2 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (53 17 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (52 2 (:REWRITE SUBSETP-APPEND1))
 (48 2 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (35 19 (:REWRITE SUBSETP-TRANS2))
 (35 17 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (24 2 (:REWRITE C$::TRANS-ITEM-LISTP-OF-CDR-WHEN-TRANS-ITEM-LISTP))
 (20 2 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (19 19 (:REWRITE SUBSETP-TRANS))
 (14 2 (:REWRITE LIST-FIX-WHEN-LEN-ZERO))
 (12 12 (:TYPE-PRESCRIPTION LEN))
 (4 4 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (4 2 (:REWRITE C$::SETP-WHEN-UID-SETP))
 (4 2 (:REWRITE C$::SETP-WHEN-TYPE-SETP))
 (4 2 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (4 2 (:REWRITE C$::SETP-WHEN-TYPE-OPTION-SETP))
 (4 2 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (4 2 (:REWRITE C$::SETP-WHEN-IDENT-SETP))
 (4 2 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (4 2 (:REWRITE C$::SETP-WHEN-IDENT-OPTION-SETP))
 (4 2 (:REWRITE C$::SETP-WHEN-FILEPATH-SETP))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION C$::UID-SETP))
 (2 2 (:TYPE-PRESCRIPTION C$::TYPE-SETP))
 (2 2 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (2 2 (:TYPE-PRESCRIPTION C$::TYPE-OPTION-SETP))
 (2 2 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (2 2 (:TYPE-PRESCRIPTION C$::IDENT-SETP))
 (2 2 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (2 2 (:TYPE-PRESCRIPTION C$::IDENT-OPTION-SETP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATH-SETP))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (2 2 (:REWRITE LIST-FIX-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE CONSP-OF-LIST-FIX))
 (1 1 (:REWRITE C$::CONSP-OF-TRANS-ITEM-LIST-FIX))
 )
(C2C::COPY-FN-TRANSUNIT)
(C2C::TRANSUNITP-OF-COPY-FN-TRANSUNIT)
(C2C::COPY-FN-FILEPATH-TRANSUNIT-MAP
 (2 1 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 )
(C2C::FILEPATH-TRANSUNIT-MAPP-OF-COPY-FN-FILEPATH-TRANSUNIT-MAP
 (9 9 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (3 1 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (2 2 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (1 1 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (1 1 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 )
(C2C::COPY-FN-FILEPATH-TRANSUNIT-MAP)
(C2C::COPY-FN-TRANSUNIT-ENSEMBLE)
(C2C::TRANSUNIT-ENSEMBLEP-OF-COPY-FN-TRANSUNIT-ENSEMBLE)
(C2C::COPY-FN-CODE-ENSEMBLE)
(C2C::CODE-ENSEMBLEP-OF-COPY-FN-CODE-ENSEMBLE)
