package cactus

  1. Overview
  2. Docs
type t
type key = Key.t
type value = Value.t
val init : Store.t -> Store.address -> t
val create : Store.t -> t
val load : Store.t -> Store.address -> t
val self_address : t -> Store.address
val overflow : t -> bool
val will_overflow : t -> bool
val underflow : t -> bool
val split : t -> key * t

split leaf allocates a new leaf to split to, splits leaf, promotes the middle key, and returns promoted, allocated

val merge : t -> t -> [ `Partial | `Total ]
val find : t -> key -> value
val leftmost : t -> key
val mem : t -> key -> bool
val add : t -> key -> value -> unit
val remove : t -> key -> unit
val iter : t -> (key -> value -> unit) -> unit
val length : t -> int

length t is the number of bindings in t

val migrate : string list -> string
val pp : t Fmt.t