1 Node traversal tools
val ls :
Plebeia__.Context.t ->
Plebeia__.Node.node ->
(Segment.t * Plebeia__.Node.node) listList Leaves and Buds reachable from the node. Buds are not scanned recursively.
val ls_rec :
Plebeia__.Context.t ->
Plebeia__.Node.node ->
(Segment.t list * Plebeia__.Node.node) listls_rec context node lists Leaves recursively reachable from node. node must be either a Leaf or Bud.
val equal :
Plebeia__.Context.t ->
Plebeia__.Node.node ->
Plebeia__.Node.node ->
(unit, Plebeia__.Node.node * Plebeia__.Node.node) Result.tval count_cells :
upto:int ->
Plebeia__.Context.t ->
Plebeia__.Node.node ->
[> `EQ of int | `GE of int ]Roughly count the cells used for the node and its subnodes. The same physical node on disk is counted only once. Non-indexed nodes shared on memory are counted more than once. Links are not counted, since it is not visible in Node.node. The cell counts of big leaves are not very precise, since the structure is not visible in Node.node.