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