Characteristic predicate TypeName::TypeName

TypeName()