package irmin

The type for store handles.

The type for node metadata.

The type of user-defined contents.

The type for node values.

The type of steps. A step is used to pass from one node to another.

The type of store paths. A path is composed of steps.

The type for store values.

The empty node.

v t n is a new node containing n.

list t n is the contents of the node n.

find t n p is the contents of the path p starting form n.

update t n p v is the node x such that find t x p is Some v and it behaves the same n for other operations.

remove t n path is the node x such that find t x is None and it behhaves then same as n for other operations.

closure t ~min ~max is the transitive closure c of t's nodes such that:

• There is a path in t from any nodes in min to nodes in c. If min is empty, that condition is always true.
• There is a path in t from any nodes in c to nodes in max. If max is empty, that condition is always false.

B Note: Both min and max are subsets of c.

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

path_t is the value type for path.

value_t is the value type for value.