Module Base__.Field

OCaml record field.

type ('perm, 'record, 'field) t_with_perm =
| Field of ('perm'record'fieldFor_generated_code.t

'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.

type ('record, 'field) t = ([ `Read | `Set_and_create ], 'record'fieldt_with_perm

A record field with no restrictions.

type ('record, 'field) readonly_t = ([ `Read ], 'record'fieldt_with_perm

A record that can only be read, because it belongs to a private type.

val name : (___t_with_perm ‑> string
val get : (_'r'at_with_perm ‑> 'r ‑> 'a
val fset : ([> `Set_and_create ], 'r'at_with_perm ‑> 'r ‑> 'a ‑> 'r
val setter : ([> `Set_and_create ], 'r'at_with_perm ‑> ('r ‑> 'a ‑> unit) option
type ('perm, 'record, 'result) user = {
f : field. ('perm'record'fieldt_with_perm ‑> 'result;
}