The type for either (node) keys or (contents) keys combined with their metadata.
list t is the contents of
length are used to paginate results.
val empty : t
empty is the empty node.
val length : t -> int
length t is the number of entries in
find t s is the value associated with
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
remove t s is the node where
find t s is
None but is similar to
val default : metadata
default is the default metadata value.