package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
Legend:
Library
Module
Module type
Parameter
Class
Class type
type local_gas_counter = int
type outdated_context =
  1. | OutDatedContext of Alpha_context.context
val update_context : int -> outdated_context -> Tezos_raw_protocol_alpha__Alpha_context.t
val update_local_gas_counter : Tezos_raw_protocol_alpha__Alpha_context.t -> int
val context_from_outdated_context : outdated_context -> Alpha_context.context
val use_gas_counter_in_ctxt : outdated_context -> int -> (Tezos_raw_protocol_alpha__Alpha_context.t -> ('a * Alpha_context.context, 'b) result Lwt.t) -> ('a * outdated_context * int, 'b) result Lwt.t
val update_and_check : int -> Alpha_context.Gas.cost -> int option
val consume : int -> Alpha_context.Gas.cost -> (int, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result