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; }