Commit.Generic_key
Generic_key
generalises the concept of "commit" to one that supports object keys that are not strictly equal to hashes.
module type S = Commit_intf.S_generic_key
module type Maker = Commit_intf.Maker_generic_key
module Store
(I : Info.S)
(N : Node.Store)
(S : Indexable.S)
(H : Hash.S with type t = S.hash)
(V :
S
with type node_key = N.key
and type commit_key = S.key
and type t = S.value
and module Info := I) :
Commit_intf.Store
with type 'a t = 'a N.t * 'a S.t
and type key = S.key
and type value = S.value
and module Info = I
and type hash = S.hash
and module Val = V