Schema.KV
module C : Contents.S
include S
with type Hash.t = default_hash
with type Branch.t = string
with type Info.t = Info.default
with type Metadata.t = unit
with type Path.step = string
with type Path.t = string list
with module Contents = C
module Hash : Hash.S with type t = default_hash
Signature for digest hashes, inspired by Digestif.
module Info : Info.S with type t = Info.default
module Metadata : Metadata.S with type t = unit
module Contents = C
module Node
(Contents_key : Key.S with type hash = Hash.t)
(Node_key : Key.S with type hash = Hash.t) :
Node.Generic_key.S
with type metadata = Metadata.t
and type step = Path.step
and type hash = Hash.t
and type contents_key = Contents_key.t
and type node_key = Node_key.t
module Commit
(Node_key : Key.S with type hash = Hash.t)
(Commit_key : Key.S with type hash = Hash.t) :
Commit.Generic_key.S
with module Info := Info
and type node_key = Node_key.t
and type commit_key = Commit_key.t