Context (mavkit-libs.Mavryk_context

module Env = Env

module type DB =
  Irmin.Generic_key.S
    with module Schema = Mavryk_context_encoding.Context.Schema

module Make_tree
  (Conf : Mavryk_context_encoding.Context.Conf)
  (DB : DB) : 
  sig ... end

module Proof_encoding = Mavryk_context_merkle_proof_encoding

module Make_proof
  (DB : DB)
  (Store_conf : Mavryk_context_encoding.Context.Conf) : 
  sig ... end

module Make_config (Conf : Irmin_pack.Conf.S) : sig ... end

type Mavryk_base.TzPervasives.error +=

type proof_version_expanded = {

}

See Mavryk_context_sigs.Context.Proof_types.t

val decode_proof_version : 
  int ->
  (proof_version_expanded, [ `Invalid_proof_version ]) Stdlib.result

val encode_proof_version : is_stream:bool -> is_binary:bool -> int