Characteristic predicate TypeClass::TypeClass

TypeClass()