(UBYTE11P)
(BOOLEANP-OF-UBYTE11P)
(UBYTE11P-FORWARD-UNSIGNED-BYTE-P)
(UNSIGNED-BYTE-P-REWRITE-UBYTE11P)
(NATP-WHEN-UBYTE11P)
(UBYTE11-FIX)
(UBYTE11P-OF-UBYTE11-FIX)
(UBYTE11-FIX-WHEN-UBYTE11P)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(UBYTE11-EQUIV$INLINE)
(UBYTE11-EQUIV-IS-AN-EQUIVALENCE)
(UBYTE11-EQUIV-IMPLIES-EQUAL-UBYTE11-FIX-1)
(UBYTE11-FIX-UNDER-UBYTE11-EQUIV)
(EQUAL-OF-UBYTE11-FIX-1-FORWARD-TO-UBYTE11-EQUIV)
(EQUAL-OF-UBYTE11-FIX-2-FORWARD-TO-UBYTE11-EQUIV)
(UBYTE11-EQUIV-OF-UBYTE11-FIX-1-FORWARD)
(UBYTE11-EQUIV-OF-UBYTE11-FIX-2-FORWARD)
