Characteristic predicate TypedefType :: TypedefType
TypedefType
(
)