package cactus

  1. Overview
  2. Docs

Module Private.NodeSource

Sourcetype t
Sourcetype key = Key.t
Sourceval create : Store.t -> Btree__.Field_intf.kind -> t
Sourceval load : Store.t -> Store.address -> t
Sourceval depth : t -> int
Sourceval self_address : t -> Store.address
Sourceval overflow : t -> bool
Sourceval will_overflow : t -> bool
Sourceval underflow : t -> bool
Sourceval split : t -> key * t
Sourceval merge : t -> t -> [ `Partial | `Total ]
Sourceval find : t -> key -> Store.address
Sourceval leftmost : t -> key
Sourcetype neighbour = {
  1. main : key * Store.address;
  2. neighbour : (key * Store.address) option;
  3. order : [ `Lower | `Higher ];
}
Sourceval find_with_neighbour : t -> key -> neighbour
Sourceval add : t -> key -> Store.address -> unit
Sourceval replace : t -> key -> key -> unit
Sourceval remove : t -> key -> unit
Sourceval iter : t -> (key -> Store.address -> unit) -> unit
Sourceval fold_left : ('a -> key -> Store.address -> 'a) -> 'a -> t -> 'a
Sourceval length : t -> int

length t is the number of bindings in t

Sourceval migrate : string list -> Btree__.Field_intf.kind -> string

migrate kvs depth constructs the serialised representation of the node associated to kvs, the list of string representations for key,value bindings.

Sourceval reconstruct : t -> Btree__.Field_intf.kind -> (key * Store.address) list -> unit
Sourceval pp : t Fmt.t