Module Schema.KV

Parameters

module C : Contents.S

Signature

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 Branch : Branch.S with type t = string
module Info : Info.S with type t = Info.default
module Metadata : Metadata.S with type t = unit
module Path : Path.S with type step = string with type t = string list
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