Module Make.BatchedSource

Sourcetype 'a t = 'a Sequential.t
Sourcetype cfg = unit option
Sourcetype ('elt, 'ret) op =
  1. | Insert : V.t * 'elt -> ('elt, unit) op
  2. | Search : V.t -> ('elt, 'elt option) op
  3. | Size : ('elt, int) op
Sourcetype 'a wrapped_op =
  1. | Mk : ('a, 'b) op * 'b Picos.Computation.t -> 'a wrapped_op
Sourceval init : ?cfg:'a -> unit -> 'b Sequential.t
Sourceval fold_left_map : ('a -> 'b -> 'a * 'c) -> 'a -> 'b list -> 'a * 'c list
Sourceval drop_last : 'a list -> 'a list
Sourceval int_pow : int -> int -> int
Sourceval find_height : t:int -> no_elts:int -> int
Sourceval find_split : ?root:bool -> t:int -> h:int -> int -> int * int * int
Sourceval partition_range : ?root:bool -> t:int -> h:int -> (int * int) -> int array * int array
Sourceval build_node : max_children:int -> h:int -> int -> int -> (V.t * 'a) array -> 'a Sequential.node
Sourceval par_build_node : max_children:int -> h:int -> int -> int -> (V.t * 'a) array -> 'a Sequential.node
Sourceval build_from_sorted : ?max_children:int -> (V.t * 'a) array -> int * 'a Sequential.node
Sourceval int_range_downto : int -> int -> int Seq.t
Sourceval flatten : 'a Sequential.node -> (V.t * 'a) Seq.t
Sourceval merge : 'a Seq.t -> 'a Seq.t -> ('a -> 'b) -> unit
Sourceval par_rebuild : max_children:int -> 'a Sequential.node -> (V.t * 'a) array -> int * 'a Sequential.node
Sourceval par_search_node : ?par_threshold:int -> ?threshold:int -> 'a Sequential.node -> height:int -> keys:(V.t * 'a option Picos.Computation.t) array -> range:(int * int) -> unit
Sourceval par_insert_node : ?threshold:int -> max_children:int -> 'a Sequential.node -> (V.t * 'a) array -> int -> int -> int
Sourceval par_insert : ?threshold:int -> ?can_rebuild:bool -> 'a t -> (V.t * 'a) array -> unit
Sourceval run : 'a t -> 'a wrapped_op array -> unit