(C::TYPE-OF-VALUE-WHEN-VALUE-POINTER
 (10 2 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (7 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (4 4 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 )
(C::TYPE-OF-VALUE-OF-IF*)
(C::TYPE-OF-VALUE-OPTION-WHEN-VALUEP
 (10 2 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (7 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (4 4 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 )
(C::TYPE-OF-VALUE-OPTION-OF-NIL)
