package tezos-protocol-environment

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include sig ... end
include module type of struct include Environment_context end
module type CONTEXT = Environment_context.CONTEXT
module type VIEW = Environment_context.VIEW
module type TREE = Environment_context.TREE
module Equality_witness = Environment_context.Equality_witness
type validation_result = Environment_context.validation_result = {
  1. context : Context.t;
  2. fitness : Tezos_base.Fitness.t;
  3. message : string option;
  4. max_operations_ttl : int;
  5. last_allowed_fork_level : Int32.t;
}
type quota = Environment_context.quota = {
  1. max_size : int;
  2. max_op : int option;
}
val err_implementation_mismatch : expected:string -> got:string -> 'a
include module type of struct include Environment_protocol_T end
module type T = Environment_protocol_T.T
module type PROTOCOL = Environment_protocol_T.PROTOCOL
include module type of struct include Environment_V0 end
module type V0 = Environment_V0.V0
module MakeV0 = Environment_V0.MakeV0
include module type of struct include Environment_V1 end
module type V1 = Environment_V1.V1
module MakeV1 = Environment_V1.MakeV1
include module type of struct include Environment_V2 end
module type V2 = Environment_V2.V2
module MakeV2 = Environment_V2.MakeV2