Module Environment_context

module type CONTEXT = sig ... end
module type VIEW = sig ... end
module type TREE = sig ... end
module Equality_witness : sig ... end
module Context : sig ... end
module Register : functor (C : CONTEXT) -> sig ... end
type validation_result = {
context : Context.t;
fitness : Tezos_base__TzPervasives.Fitness.t;
message : string option;
max_operations_ttl : int;
last_allowed_fork_level : Stdlib.Int32.t;
}
type quota = {
max_size : int;
max_op : int option;
}
type rpc_context = {
block_hash : Tezos_crypto.Block_hash.t;
block_header : Tezos_base__TzPervasives.Block_header.shell_header;
context : Context.t;
}
val err_implementation_mismatch : expected:string -> got:string -> 'a