POINTER returns a pointer value that identifies the generation specified by an offset reference x, in an area specified by y. If x is the null offset value, the null pointer value is returned.
|
Abbreviation: PTR
Generations of based variables in different areas are equivalent if, up to the allocation of the latest generation, the variables have been allocated and freed the same number of times as each other.