Tezos_context_helpers.Contextmodule Env = Envmodule type DB =
Irmin.Generic_key.S
with module Schema = Tezos_context_encoding.Context.Schemaval raw_encoding : raw Tezos_base.TzPervasives.Data_encoding.tmodule Make_tree
(Conf : Tezos_context_encoding.Context.Conf)
(DB : DB) :
sig ... endmodule Proof_encoding = Tezos_context_merkle_proof_encodingmodule Make_proof
(DB : DB)
(Store_conf : Tezos_context_encoding.Context.Conf) :
sig ... endmodule Make_config (Conf : Irmin_pack.Conf.S) : sig ... endtype Tezos_base.TzPervasives.error += | Unsupported_context_hash_version of Tezos_base.TzPervasives.Context_hash.Version.tSee Tezos_context_sigs.Context.Proof_types.t
val decode_proof_version :
int ->
(proof_version_expanded, [ `Invalid_proof_version ]) Stdlib.result