OCaml record field.
'record
is the type of the record. 'field
is the type of the
values stored in the record field with name name
. 'perm
is a way
of restricting the operations that can be used.
: 'field . ('perm, 'record, 'field) t_with_perm -> 'result | ; |