(TMP-DEFTYPES-ANY-P$INLINE-OF-IDENTITY)
(TMP-DEFTYPES-IDENTITY-WHEN-ANY-P$INLINE
 (3 3 (:TYPE-PRESCRIPTION IDENTITY))
 )
(TMP-DEFTYPES-NATP-OF-NFIX)
(TMP-DEFTYPES-NFIX-WHEN-NATP
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(ANY-NAT-MAPP)
(BOOLEANP-OF-ANY-NAT-MAPP
 (4 2 (:DEFINITION ANY-NAT-MAPP))
 (2 2 (:TYPE-PRESCRIPTION FAST-<<))
 )
(MAPP-WHEN-ANY-NAT-MAPP)
(ANY-NAT-MAPP-OF-TAIL
 (63 18 (:REWRITE <<-TRICHOTOMY))
 (52 10 (:REWRITE <<-ASYMMETRIC))
 (34 34 (:REWRITE DEFAULT-CAR))
 (32 32 (:REWRITE DEFAULT-CDR))
 (21 17 (:REWRITE <<-TRANSITIVE))
 (6 2 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (4 4 (:REWRITE DEFAULT-<-2))
 (4 4 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE <<-IRREFLEXIVE))
 )
(ANY-P-OF-HEAD-KEY-WHEN-ANY-NAT-MAPP)
(NATP-OF-HEAD-VAL-WHEN-ANY-NAT-MAPP
 (30 30 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (12 12 (:REWRITE DEFAULT-CAR))
 (9 9 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (4 4 (:TYPE-PRESCRIPTION FAST-<<))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (1 1 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 )
(ANY-NAT-MAPP-OF-UPDATE
 (665 612 (:REWRITE DEFAULT-CAR))
 (579 504 (:REWRITE DEFAULT-CDR))
 (285 285 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (187 69 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (110 38 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (75 27 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (69 69 (:REWRITE DEFAULT-<-2))
 (69 69 (:REWRITE DEFAULT-<-1))
 (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))
 )
(ANY-NAT-MAPP-OF-UPDATE*
 (57 15 (:REWRITE <<-TRICHOTOMY))
 (51 9 (:REWRITE <<-ASYMMETRIC))
 (21 21 (:REWRITE DEFAULT-CAR))
 (18 18 (:REWRITE DEFAULT-CDR))
 (15 15 (:REWRITE <<-TRANSITIVE))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (3 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 (3 1 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::UPDATE*))
 (1 1 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 )
(ANY-NAT-MAPP-OF-DELETE
 (8 4 (:DEFINITION ANY-NAT-MAPP))
 (4 4 (:TYPE-PRESCRIPTION FAST-<<))
 )
(ANY-NAT-MAPP-OF-DELETE*
 (38 10 (:REWRITE <<-TRICHOTOMY))
 (34 6 (:REWRITE <<-ASYMMETRIC))
 (14 14 (:REWRITE DEFAULT-CAR))
 (12 12 (:REWRITE DEFAULT-CDR))
 (10 10 (:REWRITE <<-TRANSITIVE))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (3 1 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(ANY-P-WHEN-ASSOC-ANY-NAT-MAPP-BINDS-FREE-X)
(ANY-P-OF-CAR-OF-ASSOC-ANY-NAT-MAPP)
(NATP-OF-CDR-OF-ASSOC-ANY-NAT-MAPP
 (8 4 (:DEFINITION ANY-NAT-MAPP))
 (4 4 (:TYPE-PRESCRIPTION FAST-<<))
 )
(NATP-OF-LOOKUP-WHEN-ANY-NAT-MAPP
 (2 1 (:DEFINITION ANY-NAT-MAPP))
 (1 1 (:TYPE-PRESCRIPTION FAST-<<))
 )
(ANY-NAT-MFIX
 (1 1 (:TYPE-PRESCRIPTION ANY-NAT-MFIX))
 )
(ANY-NAT-MAPP-OF-ANY-NAT-MFIX)
(ANY-NAT-MFIX-WHEN-ANY-NAT-MAPP
 (16 16 (:TYPE-PRESCRIPTION ANY-NAT-MFIX))
 )
(EMPTYP-ANY-NAT-MFIX
 (4 2 (:REWRITE ANY-NAT-MFIX-WHEN-ANY-NAT-MAPP))
 )
(EMPTYP-OF-ANY-NAT-MFIX-TO-NOT-ANY-NAT-MAP-OR-EMPTYP
 (8 8 (:TYPE-PRESCRIPTION ANY-NAT-MFIX))
 (3 1 (:REWRITE ANY-NAT-MFIX-WHEN-ANY-NAT-MAPP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (24 24 (:TYPE-PRESCRIPTION ANY-NAT-MFIX))
 )
(ANY-NAT-MEQUIV$INLINE
 (4 4 (:TYPE-PRESCRIPTION ANY-NAT-MFIX))
 )
(ANY-NAT-MEQUIV-IS-AN-EQUIVALENCE)
(ANY-NAT-MEQUIV-IMPLIES-EQUAL-ANY-NAT-MFIX-1)
(ANY-NAT-MFIX-UNDER-ANY-NAT-MEQUIV)
(EQUAL-OF-ANY-NAT-MFIX-1-FORWARD-TO-ANY-NAT-MEQUIV)
(EQUAL-OF-ANY-NAT-MFIX-2-FORWARD-TO-ANY-NAT-MEQUIV)
(ANY-NAT-MEQUIV-OF-ANY-NAT-MFIX-1-FORWARD)
(ANY-NAT-MEQUIV-OF-ANY-NAT-MFIX-2-FORWARD)
