The type for node values.

The type for node metadata.

The type for keys.

The type for steps between nodes.

The type for either (node) keys or (contents) keys combined with their metadata.

create l is a new node.

list t is the contents of t. offset and length are used to paginate results.

empty is the empty node.

is_empty t is true iff t is empty.

find t s is the value associated with s in t.

A node can point to user-defined contents. The edge between the node and the contents is labeled by a step.

add t s v is the node where find t v is Some s but is similar to t otherwise.

remove t s is the node where find t s is None but is similar to t otherwise.

t is the value type for t.

default is the default metadata value.

metadata_t is the value type for metadata.

hash_t is the value type for hash.

step_t is the value type for step.

value_t is the value type for value.