Characteristic predicate PointerType :: PointerType
PointerType
(
)