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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct