Store creates a new commit store.
module N : sig ... endmodule C : sig ... endContent-addressable stores are store where it is possible to read and add new values. Keys are derived from the values raw contents and hence are deterministic.
The type for content-addressable backend stores. The 'a phantom type carries information about the store mutability.
type key = C.keyThe type for keys.
type value = C.valueThe type for raw values.
val mem : [> Perms.read ] t -> key -> bool Lwt.tmem t k is true iff k is present in t.
val find : [> Perms.read ] t -> key -> value option Lwt.tfind t k is Some v if k is associated to v in t and None is k is not present in t.
val add : [> Perms.write ] t -> value -> key Lwt.tWrite the contents of a value to the store. It's the responsibility of the content-addressable store to generate a consistent key.
val unsafe_add : [> Perms.write ] t -> key -> value -> unit Lwt.tSame 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.
val clear : 'a t -> unit Lwt.tClear the store. This operation is expected to be slow.
val merge : [> Perms.read_write ] t -> info:Info.f -> key option Merge.tmerge is the 3-way merge function for commit keys.
Key provides base functions for commit keys.
module Val = C.ValVal provides functions for commit values.
module Node : sig ... endNode is the underlying node store.