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 ... endMake provides a simple implementation of commit values, parameterized by the commit and node keys K.
module type STORE = sig ... endSTORE specifies the signature for commit stores.
module Store
(N : sig ... end)
(C : sig ... end) :
STORE
with type 'a t = 'a N.t * 'a C.t
and type key = C.key
and type value = C.value
and type Key.t = C.Key.t
and module Val = C.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.