from the grammar:

> pointer_type = "^" type.