The type for content-addressable backend stores. The 'a phantom type carries information about the store mutability.

The type for keys.

The type for raw values.

mem t k is true iff k is present in t.

find t k is Some v if k is associated to v in t and None is k is not present in t.

Write the contents of a value to the store. It's the responsibility of the content-addressable store to generate a consistent key.

Same as add but allows to specify the key directly. The backend might choose to discared that key and/or can be corrupt if the key scheme is not consistent.

Path provides base functions on node paths.

merge is the 3-way merge function for nodes keys.

Key provides base functions for node keys.

Metadata provides base functions for node metadata.

Val provides base functions for node values.

Contents is the underlying contents store.