Field (base.Base.Field)

module For_generated_code : sig ... end

type (!'perm, !'record, !'field) t_with_perm =

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

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

val name : ('a, 'b, 'c) t_with_perm -> string

val get : ('b, 'r, 'a) t_with_perm -> 'r -> 'a

val fset : ([> `Set_and_create ], 'r, 'a) t_with_perm -> 'r -> 'a -> 'r

val setter : 
  ([> `Set_and_create ], 'r, 'a) t_with_perm ->
  ('r -> 'a -> unit) option

val map : 
  ([> `Set_and_create ], 'r, 'a) t_with_perm ->
  'r ->
  f:('a -> 'a) ->
  'r

val updater : 
  ([> `Set_and_create ], 'r, 'a) t_with_perm ->
  ('r -> f:('a -> 'a) -> unit) option

type (!'perm, !'record, !'result) user = {

}