Commit values represent the store history.
Every commit contains a list of predecessor commits, and the collection of commits form an acyclic directed graph.
Every commit also can contain an optional key, pointing to a node value. See the Node signature for more details on node values.
module type S = sig ... endmodule Make
(C : Contents.S0)
(N : Contents.S0) :
S with type commit = C.t and type node = N.tMake provides a simple implementation of commit values, parameterized by the commit C and node N.
module type STORE = sig ... endSTORE specifies the signature for commit stores.
module Store
(N : Node.STORE)
(S : sig ... end) :
STORE
with type t = N.t * S.t
and type key = S.key
and type value = S.value
and module Key = S.Key
and module Val = S.ValStore creates a new commit store.
module type HISTORY = sig ... endHistory specifies the signature for commit history. The history is represented as a partial-order of commits and basic functions to search through that history are provided.