• en

Module Fieldslib

module Field : sig
module For_generated_code : sig
type ('perm, 'record, 'field) t = {
force_variance : 'perm -> unit;
name : string;
setter : 'record -> 'field -> unit option;
getter : 'record -> 'field;
fset : 'record -> 'field -> 'record;
}
end
type ('perm, 'record, 'field) t_with_perm =
| Field of ('perm, 'record, 'field) For_generated_code.t
type ('record, 'field) t = (TODO: a, 'record, 'field) t_with_perm
type ('record, 'field) readonly_t = (TODO: a, '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 : (TODO: b, 'r, 'a) t_with_perm -> 'r -> 'a -> 'r
val setter : (TODO: b, 'r, 'a) t_with_perm -> 'r -> 'a -> unit option
type ('perm, 'record, 'result) user = {
f : TODO: a;
}
end