package obatcher

You can search for identifiers within the package.

in-package search v0.2.0

package obatcher

obatcher
- Obatcher
  - Make
    
    S
  - Make_Poly
    
    S
  - Service
  - Service_Poly
obatcher.ds
- Ds
  - Batched_btree
    
    Make
    
    Batched
    
    Sequential
    
    V
  - Batched_counter
    
    Batched
  - Batched_hashtbl
    
    Batched
  - Batched_skiplist
    
    Make
    
    Batched
    
    Sequential
    
    V
  - Utils
    
    Finite_vector

Legend:
Library
Module
Module type
Parameter
Class
Class type

type '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;

}

type 'a t = {

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

}

val size_node : 'a node -> int

val size : 'a t -> int

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

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

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

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

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

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

val init : ?max_children:int -> unit -> 'a t

val fold_int_range : start:int -> stop:int -> ('a -> int -> 'a) -> 'a -> 'a

val find_int_range : start:int -> stop:int -> (int -> 'a option) -> 'a option

val find_int_range_dec : 
  start:int ->
  stop:int ->
  (int -> 'a option) ->
  'a option

val search_node : 'a node -> V.t -> ('a node * int) option

val search : 'a t -> V.t -> 'a option

val min_capacity : 'a node Utils.Finite_vector.t -> int option

val split_child : 'a node -> int -> unit

val insert_node : max_children:int -> 'a node -> V.t -> 'a -> int

val insert : 'a t -> V.t -> 'a -> unit