pointer_type

pointer_type ::= "POINTER" "TO" type 

This rule is called by

-> type