Sourceval iter :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
'a) ->
'a Sourceval fold :
t ->
init:'a ->
total:
('a ->
([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
'b) ->
'b Sourceval for_all :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
bool) ->
bool Sourceval exists :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
bool) ->
bool Sourceval to_list :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
'a) ->
'a list Sourceval map :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
int) ->
t Sourceval set_all_mutable_fields : 'a -> unit