Module `Make.Sequential`Source

Sourcetype 'a node = {

mutable n : int;
mutable keys : V.t Utils.Finite_vector.t;
mutable values : 'a Utils.Finite_vector.t;
leaf : bool;
mutable children : 'a node Utils.Finite_vector.t;
mutable no_elements : int;
mutable capacity : int;
mutable min_child_capacity : int;

}

Sourcetype 'a t = {

mutable root : 'a node;
mutable height : int;
max_children : int;

}

Sourceval size_node : 'a node -> int

Sourceval size : 'a t -> int

Source

val pp_node_internal : 
  ?pp_child:bool ->
  ?pp_v:(Format.formatter -> V.t -> unit) ->
  int ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a node ->
  unit

Source

val pp_node : 
  ?pp_v:(Format.formatter -> V.t -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a node ->
  unit

Source

val show_node : 
  ?pp_v:(Format.formatter -> V.t -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  'a node ->
  string

Source

val show_node_no_children : 
  ?pp_v:(Format.formatter -> V.t -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  'a node ->
  string

Source

val pp : 
  ?pp_v:(Format.formatter -> V.t -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a t ->
  unit

Source

val 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

Source

val 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 search : 'a t -> V.t -> 'a 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

package obatcher

Module Make.SequentialSource

Module `Make.Sequential`Source