Schema (mavkit-libs.Mavryk_context_encoding.Context.Schema)

include Irmin.Schema.S
  with type Contents.t = bytes
  with type Metadata.t = unit
  with type Path.t = string list
  with type Path.step = string
  with type Branch.t = string
  with module Info = Irmin.Info.Default
  with type Hash.t = Hash.t

module Hash : Irmin.Hash.S with type t = Hash.t

Signature for digest hashes, inspired by Digestif.

module Branch : Irmin.Branch.S with type t = string

module Info = Irmin.Info.Default

module Metadata : Irmin.Metadata.S with type t = unit

module Path : Irmin.Path.S with type t = string list with type step = string

module Contents : Irmin.Contents.S with type t = bytes

module Node
  (Contents_key : Irmin.Key.S with type hash = Hash.t)
  (Node_key : Irmin.Key.S with type hash = Hash.t) : 
  Irmin.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 : Irmin.Key.S with type hash = Hash.t)
  (Commit_key : Irmin.Key.S with type hash = Hash.t) : 
  Irmin.Commit.Generic_key.S
    with module Info := Info
     and type node_key = Node_key.t
     and type commit_key = Commit_key.t