Module Make.SequentialSource

Sourcetype 'a node = {
  1. mutable n : int;
  2. mutable keys : V.t Utils.Finite_vector.t;
  3. mutable values : 'a Utils.Finite_vector.t;
  4. leaf : bool;
  5. mutable children : 'a node Utils.Finite_vector.t;
  6. mutable no_elements : int;
  7. mutable capacity : int;
  8. mutable min_child_capacity : int;
}
Sourcetype 'a t = {
  1. mutable root : 'a node;
  2. mutable height : int;
  3. max_children : int;
}
Sourceval size_node : 'a node -> int
Sourceval size : 'a t -> int
Sourceval pp_node_internal : ?pp_child:bool -> ?pp_v:(Format.formatter -> V.t -> unit) -> int -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a node -> unit
Sourceval pp_node : ?pp_v:(Format.formatter -> V.t -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a node -> unit
Sourceval show_node : ?pp_v:(Format.formatter -> V.t -> unit) -> (Format.formatter -> 'a -> unit) -> 'a node -> string
Sourceval show_node_no_children : ?pp_v:(Format.formatter -> V.t -> unit) -> (Format.formatter -> 'a -> unit) -> 'a node -> string
Sourceval pp : ?pp_v:(Format.formatter -> V.t -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
Sourceval show : ?pp_v:(Format.formatter -> V.t -> unit) -> (Format.formatter -> 'a -> unit) -> 'a t -> string
Sourceval init : ?max_children:int -> unit -> 'a t
Sourceval fold_int_range : start:int -> stop:int -> ('a -> int -> 'a) -> 'a -> 'a
Sourceval find_int_range : start:int -> stop:int -> (int -> 'a option) -> 'a option
Sourceval find_int_range_dec : start:int -> stop:int -> (int -> 'a option) -> 'a option
Sourceval search_node : 'a node -> V.t -> ('a node * int) option
Sourceval min_capacity : 'a node Utils.Finite_vector.t -> int option
Sourceval split_child : 'a node -> int -> unit
Sourceval insert_node : max_children:int -> 'a node -> V.t -> 'a -> int
Sourceval insert : 'a t -> V.t -> 'a -> unit