Characteristic predicate SignedCharType :: SignedCharType
SignedCharType
(
)