package cactus

  1. Overview
  2. Docs
type t = page

The type for pages.

type pointer = int

The type for pointers.

val kind : t -> Common.Kind.t

kind t is the kind of t, either a Node or a Leaf.

val buff : t -> bytes

buff t holds the contents of the page t.

val marker : t -> unit -> unit

marker page is the function that marks page as dirty. A page is dirty when its in memory contents are not the same as the ones on disk.

val flush : t -> unit

flush t writes the contents of t to the disk.