Characteristic predicate PrimitiveType :: PrimitiveType
PrimitiveType
(
)