Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val iter :
'a t ->
prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> unit) ->
prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> unit) ->
next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> unit) ->
next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> unit) ->
ranges:
(('a t, 'a Range.t list) Fieldslib.Field.t ->
'a t ->
'a Range.t list ->
unit) ->
unit
val fold :
'a t ->
init:'acc__0 ->
prev_start:
('acc__0 -> ('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'acc__1) ->
prev_size:
('acc__1 -> ('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'acc__2) ->
next_start:
('acc__2 -> ('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'acc__3) ->
next_size:
('acc__3 -> ('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'acc__4) ->
ranges:
('acc__4 ->
('a t, 'a Range.t list) Fieldslib.Field.t ->
'a t ->
'a Range.t list ->
'acc__5) ->
'acc__5
val for_all :
'a t ->
prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) ->
prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) ->
next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) ->
next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) ->
ranges:
(('a t, 'a Range.t list) Fieldslib.Field.t ->
'a t ->
'a Range.t list ->
bool) ->
bool
val exists :
'a t ->
prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) ->
prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) ->
next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) ->
next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) ->
ranges:
(('a t, 'a Range.t list) Fieldslib.Field.t ->
'a t ->
'a Range.t list ->
bool) ->
bool
val to_list :
'a t ->
prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'elem__) ->
prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'elem__) ->
next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'elem__) ->
next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'elem__) ->
ranges:
(('a t, 'a Range.t list) Fieldslib.Field.t ->
'a t ->
'a Range.t list ->
'elem__) ->
'elem__ list
val map :
'a t ->
prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> int) ->
prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> int) ->
next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> int) ->
next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> int) ->
ranges:
(('a t, 'a Range.t list) Fieldslib.Field.t ->
'a t ->
'a Range.t list ->
'a Range.t list) ->
'a t
val set_all_mutable_fields : 'a t -> unit