Pointer

To obtain a pointer that points to A, one can use
p = >> A
or
p =>> A
To retrieve the value that a pointer p points to, one can use
x = p>>
To reset the value pointed to by p, one can use
p>> = new_value
or
p >>= new_value



oz 2009-12-22