Node.Generic_key
Generic_key
generalises the concept of "node" to one that supports object keys that are not strictly equal to hashes.
module type S = Node_intf.S_generic_key
module type Maker = Node_intf.Maker_generic_key
module type Core = Node_intf.Core
Make_v2
provides a similar implementation as Make
but the hash computation is compatible with versions older than brassaia.3.0
module Store
(C : Contents.Store)
(S : Indexable.S)
(H : Hash.S with type t = S.hash)
(V :
S
with type t = S.value
and type hash = H.t
and type contents_key = C.key
and type node_key = S.key) :
Node_intf.Store
with type 'a t = 'a C.t * 'a S.t
and type key = S.key
and type hash = S.hash
and type value = S.value
and module Val = V