package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_raw_protocol_012_Psithaca.Local_gas_counterSource

Sourcetype local_gas_counter = int
Sourcetype outdated_context =
  1. | OutDatedContext of Alpha_context.context
Sourceval update_context : int -> outdated_context -> Tezos_raw_protocol_012_Psithaca__Alpha_context.t
Sourceval update_local_gas_counter : Tezos_raw_protocol_012_Psithaca__Alpha_context.t -> int
Sourceval context_from_outdated_context : outdated_context -> Alpha_context.context
Sourceval update_and_check : int -> Alpha_context.Gas.cost -> int option
OCaml

Innovation. Community. Security.