(STR::DEC-DIGIT-CHAR-FIX)
(STR::DEC-DIGIT-CHAR-P-OF-DEC-DIGIT-CHAR-FIX
 (6 2 (:REWRITE STR::DEC-DIGIT-CHAR-P-WHEN-NONZERO-DEC-DIGIT-CHAR-P))
 (4 4 (:TYPE-PRESCRIPTION STR::NONZERO-DEC-DIGIT-CHAR-P$INLINE))
 )
(STR::DEC-DIGIT-CHAR-FIX-WHEN-DEC-DIGIT-CHAR-P
 (6 2 (:REWRITE STR::DEC-DIGIT-CHAR-P-WHEN-NONZERO-DEC-DIGIT-CHAR-P))
 (4 4 (:TYPE-PRESCRIPTION STR::NONZERO-DEC-DIGIT-CHAR-P$INLINE))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (3 1 (:REWRITE STR::DEC-DIGIT-CHAR-P-WHEN-NONZERO-DEC-DIGIT-CHAR-P))
 (2 2 (:TYPE-PRESCRIPTION STR::NONZERO-DEC-DIGIT-CHAR-P$INLINE))
 )
(STR::DEC-DIGIT-CHAR-EQUIV$INLINE)
(STR::DEC-DIGIT-CHAR-EQUIV-IS-AN-EQUIVALENCE)
(STR::DEC-DIGIT-CHAR-EQUIV-IMPLIES-EQUAL-DEC-DIGIT-CHAR-FIX-1)
(STR::DEC-DIGIT-CHAR-FIX-UNDER-DEC-DIGIT-CHAR-EQUIV)
(STR::EQUAL-OF-DEC-DIGIT-CHAR-FIX-1-FORWARD-TO-DEC-DIGIT-CHAR-EQUIV)
(STR::EQUAL-OF-DEC-DIGIT-CHAR-FIX-2-FORWARD-TO-DEC-DIGIT-CHAR-EQUIV)
(STR::DEC-DIGIT-CHAR-EQUIV-OF-DEC-DIGIT-CHAR-FIX-1-FORWARD)
(STR::DEC-DIGIT-CHAR-EQUIV-OF-DEC-DIGIT-CHAR-FIX-2-FORWARD)
