65.1.2 The pointer form

As mentioned in the previous section, every data type can be pointerised, that is create another FFI-object with the address of the data (not the data itself). We say such data point to other data.

The syntax for this is the form '(pointer data-type), so for example the FFI-type '(pointer int) is the data type ‘int*’ in C.