Characteristic predicate TypeCase::TypeCase

TypeCase()