Name ->
Definition none
Example x->foo
Implementation core
Infix _->_ : infix(190,left). (in types.l)
Description R->f is used to select field f of record R. It is translated by the compiler into a call to val_index_record or var_index_record.