package cactus

The type for pages.

The type for pointers.

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

buff t holds the contents of the page t.

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.

flush t writes the contents of t to the disk.