val iter :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
unit) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
unit) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
unit) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
unit) ->
unitval fold :
('k, 'filter, 'order) t ->
init:'acc__0 ->
filter:
('acc__0 ->
(('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
'acc__1) ->
order:
('acc__1 ->
(('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
'acc__2) ->
key_range:
('acc__2 ->
(('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
'acc__3) ->
rank_range:
('acc__3 ->
(('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
'acc__4) ->
'acc__4val for_all :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
bool) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
bool) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
bool) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
bool) ->
boolval exists :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
bool) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
bool) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
bool) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
bool) ->
boolval to_list :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
'elem__) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
'elem__) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
'elem__) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
'elem__) ->
'elem__ listval map :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
'filter) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
'order) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
'k Which_range.t) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
int Which_range.t) ->
('k, 'filter, 'order) tval set_all_mutable_fields : ('k, 'filter, 'order) t -> unit