(ENSURE-FUNCTION-IS-GUARD-VERIFIED)
(RETURN-TYPE-OF-ENSURE-FUNCTION-IS-GUARD-VERIFIED.ERP
 (5 1 (:DEFINITION ASSOC-EQUAL))
 (3 3 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 (2 1 (:DEFINITION NTH))
 )
(RETURN-TYPE-OF-ENSURE-FUNCTION-IS-GUARD-VERIFIED.VAL
 (5 1 (:DEFINITION ASSOC-EQUAL))
 (3 3 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 (2 1 (:DEFINITION NTH))
 )
