(TMP-DEFTYPES-BOOLEANP-OF-BOOL-FIX$INLINE)
(BOOLEAN-RESULTP)
(CONSP-WHEN-BOOLEAN-RESULTP)
(BOOLEAN-RESULT-KIND$INLINE)
(BOOLEAN-RESULT-KIND-POSSIBILITIES)
(BOOLEAN-RESULT-FIX$INLINE)
(BOOLEAN-RESULTP-OF-BOOLEAN-RESULT-FIX
 (13 1 (:REWRITE FTY::RESULTERR-FIX-WHEN-RESULTERRP))
 (13 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (5 1 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (5 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (4 4 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (4 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (3 3 (:REWRITE DEFAULT-CDR))
 (3 1 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 1 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (2 1 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NON-EMPTY))
 (1 1 (:TYPE-PRESCRIPTION FTY::RESULTERRP))
 (1 1 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(BOOLEAN-RESULT-FIX-WHEN-BOOLEAN-RESULTP)
(BOOLEAN-RESULT-FIX$INLINE
 (39 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (17 17 (:REWRITE DEFAULT-CDR))
 (15 3 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (15 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (12 12 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:REWRITE DEFAULT-CAR))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 3 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (6 3 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NON-EMPTY))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(BOOLEAN-RESULT-EQUIV$INLINE)
(BOOLEAN-RESULT-EQUIV-IS-AN-EQUIVALENCE)
(BOOLEAN-RESULT-EQUIV-IMPLIES-EQUAL-BOOLEAN-RESULT-FIX-1)
(BOOLEAN-RESULT-FIX-UNDER-BOOLEAN-RESULT-EQUIV)
(EQUAL-OF-BOOLEAN-RESULT-FIX-1-FORWARD-TO-BOOLEAN-RESULT-EQUIV)
(EQUAL-OF-BOOLEAN-RESULT-FIX-2-FORWARD-TO-BOOLEAN-RESULT-EQUIV)
(BOOLEAN-RESULT-EQUIV-OF-BOOLEAN-RESULT-FIX-1-FORWARD)
(BOOLEAN-RESULT-EQUIV-OF-BOOLEAN-RESULT-FIX-2-FORWARD)
(BOOLEAN-RESULT-KIND$INLINE-OF-BOOLEAN-RESULT-FIX-X
 (5 1 (:REWRITE FTY::RESULTERR-FIX-WHEN-RESULTERRP))
 (4 1 (:DEFINITION FTY::RESULTERRP))
 (2 2 (:DEFINITION STRIP-CARS))
 (2 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (1 1 (:REWRITE BOOLEAN-RESULT-FIX-WHEN-BOOLEAN-RESULTP))
 )
(BOOLEAN-RESULT-KIND$INLINE-BOOLEAN-RESULT-EQUIV-CONGRUENCE-ON-X)
(BOOLEAN-RESULT-OK->GET$INLINE)
(BOOLEANP-OF-BOOLEAN-RESULT-OK->GET)
(BOOLEAN-RESULT-OK->GET$INLINE-OF-BOOLEAN-RESULT-FIX-X
 (22 2 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (9 3 (:REWRITE BOOLEAN-RESULT-FIX-WHEN-BOOLEAN-RESULTP))
 (6 6 (:TYPE-PRESCRIPTION BOOLEAN-RESULTP))
 )
(BOOLEAN-RESULT-OK->GET$INLINE-BOOLEAN-RESULT-EQUIV-CONGRUENCE-ON-X)
(BOOLEAN-RESULT-OK->GET-WHEN-WRONG-KIND)
(BOOLEAN-RESULT-OK)
(RETURN-TYPE-OF-BOOLEAN-RESULT-OK
 (6 2 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 )
(BOOLEAN-RESULT-OK->GET-OF-BOOLEAN-RESULT-OK)
(BOOLEAN-RESULT-OK-OF-FIELDS
 (3 1 (:REWRITE BOOLEAN-RESULT-FIX-WHEN-BOOLEAN-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEAN-RESULTP))
 )
(BOOLEAN-RESULT-FIX-WHEN-OK
 (3 1 (:REWRITE BOOLEAN-RESULT-FIX-WHEN-BOOLEAN-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEAN-RESULTP))
 )
(EQUAL-OF-BOOLEAN-RESULT-OK
 (10 5 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (5 5 (:DEFINITION BOOLEANP))
 )
(BOOLEAN-RESULT-OK-OF-BOOL-FIX-GET)
(BOOLEAN-RESULT-OK-IFF-CONGRUENCE-ON-GET)
(BOOLEAN-RESULT-ERR->GET$INLINE
 (39 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (17 17 (:REWRITE DEFAULT-CDR))
 (15 3 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (15 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (12 12 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:REWRITE DEFAULT-CAR))
 (8 8 (:TYPE-PRESCRIPTION IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 3 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (6 3 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NON-EMPTY))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(RESULTERRP-OF-BOOLEAN-RESULT-ERR->GET
 (63 3 (:REWRITE FTY::RESULTERR-FIX-WHEN-RESULTERRP))
 (15 3 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (13 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (5 1 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (5 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (4 4 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (3 3 (:REWRITE DEFAULT-CDR))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 1 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (2 1 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NON-EMPTY))
 )
(BOOLEAN-RESULT-ERR->GET$INLINE-OF-BOOLEAN-RESULT-FIX-X
 (62 3 (:REWRITE FTY::RESULTERR-FIX-WHEN-RESULTERRP))
 (56 3 (:DEFINITION FTY::RESULTERRP))
 (40 30 (:TYPE-PRESCRIPTION IDENTITY))
 (20 20 (:TYPE-PRESCRIPTION STRIP-CARS))
 (15 3 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (13 13 (:TYPE-PRESCRIPTION BOOLEAN-RESULT-FIX$INLINE))
 (12 4 (:REWRITE BOOLEAN-RESULT-FIX-WHEN-BOOLEAN-RESULTP))
 (8 8 (:TYPE-PRESCRIPTION BOOLEAN-RESULTP))
 (6 6 (:DEFINITION STRIP-CARS))
 (3 3 (:TYPE-PRESCRIPTION FTY::RESULTERRP))
 (3 3 (:TYPE-PRESCRIPTION ALISTP))
 )
(BOOLEAN-RESULT-ERR->GET$INLINE-BOOLEAN-RESULT-EQUIV-CONGRUENCE-ON-X)
(BOOLEAN-RESULT-ERR->GET-WHEN-WRONG-KIND
 (3 1 (:REWRITE FTY::RESULTERR-FIX-WHEN-RESULTERRP))
 (1 1 (:TYPE-PRESCRIPTION FTY::RESULTERRP))
 (1 1 (:DEFINITION FTY::RESULTERRP))
 )
(BOOLEAN-RESULT-ERR
 (39 3 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (17 17 (:REWRITE DEFAULT-CDR))
 (15 3 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (15 3 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (12 12 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:REWRITE DEFAULT-CAR))
 (6 6 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (6 3 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (6 3 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NON-EMPTY))
 (2 2 (:DEFINITION STRIP-CARS))
 )
(RETURN-TYPE-OF-BOOLEAN-RESULT-ERR
 (13 1 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (5 1 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (5 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (4 4 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (3 3 (:REWRITE DEFAULT-CDR))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 1 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (2 1 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NON-EMPTY))
 )
(BOOLEAN-RESULT-ERR->GET-OF-BOOLEAN-RESULT-ERR
 (30 24 (:TYPE-PRESCRIPTION IDENTITY))
 (23 1 (:REWRITE FTY::RESULTERR-FIX-WHEN-RESULTERRP))
 (21 1 (:DEFINITION FTY::RESULTERRP))
 (16 16 (:TYPE-PRESCRIPTION BOOLEAN-RESULT-ERR))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (6 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION FTY::RESULTERRP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(BOOLEAN-RESULT-ERR-OF-FIELDS
 (26 2 (:REWRITE FTY::RESULTERR-FIX-WHEN-RESULTERRP))
 (22 2 (:DEFINITION FTY::RESULTERRP))
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (8 2 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (4 4 (:DEFINITION STRIP-CARS))
 (3 1 (:REWRITE BOOLEAN-RESULT-FIX-WHEN-BOOLEAN-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION FTY::RESULTERRP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEAN-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 )
(BOOLEAN-RESULT-FIX-WHEN-ERR
 (18 18 (:TYPE-PRESCRIPTION IDENTITY))
 (14 2 (:REWRITE FTY::RESULTERR-FIX-WHEN-RESULTERRP))
 (11 1 (:DEFINITION FTY::RESULTERRP))
 (6 6 (:TYPE-PRESCRIPTION STRIP-CARS))
 (4 1 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (3 1 (:REWRITE BOOLEAN-RESULT-FIX-WHEN-BOOLEAN-RESULTP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEAN-RESULTP))
 (2 2 (:DEFINITION STRIP-CARS))
 (1 1 (:TYPE-PRESCRIPTION FTY::RESULTERRP))
 (1 1 (:TYPE-PRESCRIPTION ALISTP))
 )
(EQUAL-OF-BOOLEAN-RESULT-ERR
 (152 6 (:REWRITE FTY::RESULTERR-FIX-WHEN-RESULTERRP))
 (134 6 (:DEFINITION FTY::RESULTERRP))
 (52 4 (:REWRITE OMAP::ALISTP-WHEN-MAPP))
 (38 2 (:DEFINITION ALISTP))
 (30 6 (:REWRITE FTY::EQUAL-OF-STRIP-CARS))
 (24 12 (:DEFINITION STRIP-CARS))
 (23 23 (:REWRITE DEFAULT-CAR))
 (22 22 (:REWRITE DEFAULT-CDR))
 (20 4 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (20 4 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTY))
 (16 16 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (12 12 (:TYPE-PRESCRIPTION STRIP-CARS))
 (10 2 (:REWRITE FTY::RESULTERRP-WHEN-RESULTERR-OPTIONP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (8 8 (:TYPE-PRESCRIPTION OMAP::EMPTY))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 (8 4 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (8 4 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NON-EMPTY))
 (4 4 (:TYPE-PRESCRIPTION FTY::RESULTERRP))
 (4 4 (:TYPE-PRESCRIPTION FTY::RESULTERR-OPTIONP))
 (4 2 (:REWRITE FTY::RESULTERR-OPTIONP-WHEN-RESULTERRP))
 )
(BOOLEAN-RESULT-ERR-OF-RESULTERR-FIX-GET
 (12 12 (:TYPE-PRESCRIPTION IDENTITY))
 )
(BOOLEAN-RESULT-ERR-RESULTERR-EQUIV-CONGRUENCE-ON-GET)
(BOOLEAN-RESULT-FIX-REDEF
 (9 3 (:REWRITE BOOLEAN-RESULT-FIX-WHEN-BOOLEAN-RESULTP))
 (6 6 (:TYPE-PRESCRIPTION BOOLEAN-RESULTP))
 )
(BOOLEAN-RESULTP-WHEN-BOOLEANP)
(BOOLEAN-RESULTP-WHEN-RESULTERRP)
(BOOLEANP-WHEN-BOOLEAN-RESULTP-AND-NOT-RESULTERRP)
