val iter :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
'a) ->
'bval fold :
t ->
init:'a ->
total:
('b ->
([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
'c) ->
'dval for_all :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
bool) ->
boolval exists :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
bool) ->
boolval to_list :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
'a) ->
'b listval map :
t ->
total:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
t ->
int ->
int) ->
t