(SBYTE256P)
(BOOLEANP-OF-SBYTE256P)
(SBYTE256P-FORWARD-SIGNED-BYTE-P)
(SIGNED-BYTE-P-REWRITE-SBYTE256P)
(INTEGERP-WHEN-SBYTE256P)
(SBYTE256-FIX)
(SBYTE256P-OF-SBYTE256-FIX)
(SBYTE256-FIX-WHEN-SBYTE256P)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(SBYTE256-EQUIV$INLINE)
(SBYTE256-EQUIV-IS-AN-EQUIVALENCE)
(SBYTE256-EQUIV-IMPLIES-EQUAL-SBYTE256-FIX-1)
(SBYTE256-FIX-UNDER-SBYTE256-EQUIV)
(EQUAL-OF-SBYTE256-FIX-1-FORWARD-TO-SBYTE256-EQUIV)
(EQUAL-OF-SBYTE256-FIX-2-FORWARD-TO-SBYTE256-EQUIV)
(SBYTE256-EQUIV-OF-SBYTE256-FIX-1-FORWARD)
(SBYTE256-EQUIV-OF-SBYTE256-FIX-2-FORWARD)
