(ENSURE-VALUE-IS-IN-LIST)
(RETURN-TYPE-OF-ENSURE-VALUE-IS-IN-LIST.ERP
 (3 1 (:DEFINITION MEMBER-EQUAL))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(RETURN-TYPE-OF-ENSURE-VALUE-IS-IN-LIST.VAL
 (3 1 (:DEFINITION MEMBER-EQUAL))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
