Characteristic predicate IntPointerType :: IntPointerType
IntPointerType
(
)