package incr_map
Module Fields.DirectSource
Source
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) ->
unitSource
val 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__4Source
val 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) ->
boolSource
val 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) ->
boolSource
val 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__ listSource
val 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) t