Characteristic predicate UnsignedCharType :: UnsignedCharType
UnsignedCharType
(
)