Module Tezos_protocol_environment

include module type of sig ... end
module type CONTEXT = sig ... end
module type VIEW = sig ... end
module type TREE = sig ... end
module type CACHE = sig ... end
module Equality_witness = Environment_context.Equality_witness
type validation_result = Environment_context.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 = Environment_context.quota = {
max_size : int;
max_op : int option;
}
type rpc_context = Environment_context.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
module type T = sig ... end
module type PROTOCOL = sig ... end
module type V0 = sig ... end
module MakeV0 = Environment_V0.MakeV0
module type V1 = sig ... end
module MakeV1 = Environment_V1.MakeV1
module type V2 = sig ... end
module MakeV2 = Environment_V2.MakeV2
module type V3 = sig ... end
module MakeV3 = Environment_V3.MakeV3
module type V4 = sig ... end
module MakeV4 = Environment_V4.MakeV4