(SYNTHETO::BASE-TYPE-NAME-P)
(SYNTHETO::BASE-TYPE-NAME-STRING-P)
(SYNTHETO::NONSTANDARD-BASE-TYPE-TO-PRED)
(SYNTHETO::SYMBOLP-OF-NONSTANDARD-BASE-TYPE-TO-PRED)
(SYNTHETO::BASE-TYPE-NAME-TO-PRED)
(SYNTHETO::SYMBOLP-OF-BASE-TYPE-NAME-TO-PRED)
(SYNTHETO::BASE-TYPE-NAME-STRING-TO-PRED)
(SYNTHETO::SYMBOLP-OF-BASE-TYPE-NAME-STRING-TO-PRED)
(SYNTHETO::BASE-TYPE-NAME-TO-FIX)
(SYNTHETO::SYMBOLP-OF-BASE-TYPE-NAME-TO-FIX
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(SYNTHETO::BASE-TYPE-NAME-STRING-TO-FIX)
(SYNTHETO::SYMBOLP-OF-BASE-TYPE-NAME-STRING-TO-FIX)
(SYNTHETO::BASE-TYPE-NAME-TO-EQUIV)
(SYNTHETO::SYMBOLP-OF-BASE-TYPE-NAME-TO-EQUIV
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(SYNTHETO::BASE-TYPE-NAME-STRING-TO-EQUIV)
(SYNTHETO::SYMBOLP-OF-BASE-TYPE-NAME-STRING-TO-EQUIV)
