Commit values represent the store history.
Every commit contains a list of predecessor commits, and the collection of commits form an acyclic directed graph.
module type S = sig ... end
Make provides a simple implementation of commit values, parameterized by the commit and node keys
module type STORE = sig ... end
STORE 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.Val
Store creates a new commit store.
module type HISTORY = sig ... end
History 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.