Characteristic predicate UnknownType::UnknownType

UnknownType()