Module Meta.FieldsSource

Sourceval names : string list
Sourceval total : ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm
Sourceval make_creator : total: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a -> ('b -> int) * 'c) -> 'a -> ('b -> t) * 'c
Sourceval create : total:int -> t
Sourceval map : total: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> int) -> t
Sourceval iter : total: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> unit) -> unit
Sourceval fold : init:'a -> total: ('a -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'b) -> 'b
Sourceval map_poly : ([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user -> 'a list
Sourceval for_all : total: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> bool
Sourceval exists : total: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> bool
Sourceval to_list : total: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a) -> 'a list
Sourcemodule Direct : sig ... end