package datakit

The type for node values.

The type for node metadata.

The type for contents keys.

The type for node 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.

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.

update 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.

metadata_t is the value type for metadata.

contents_t is the value type for contents.

node_t is the value type for node.

step_t is the value type for step.

value_t is the value type for value.