package cactus

  1. Overview
  2. Docs
package cactus
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Private.LeafSource

Sourcetype t
Sourcetype key = Key.t
Sourcetype value = Value.t
Sourceval init : Store.t -> Store.address -> t
Sourceval create : Store.t -> t
Sourceval load : Store.t -> Store.address -> t
Sourceval self_address : t -> Store.address
Sourceval overflow : t -> bool
Sourceval will_overflow : t -> bool
Sourceval underflow : t -> bool
Sourceval split : t -> key * t

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

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

length t is the number of bindings in t

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