package tezos-protocol-012-Psithaca

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type local_gas_counter = int

type outdated_context =

| OutDatedContext of Alpha_context.context

val update_context : 
  int ->
  outdated_context ->
  Tezos_raw_protocol_012_Psithaca__Alpha_context.t

val update_local_gas_counter : 
  Tezos_raw_protocol_012_Psithaca__Alpha_context.t ->
  int

val outdated : Alpha_context.context -> outdated_context

val context_from_outdated_context : outdated_context -> Alpha_context.context

val use_gas_counter_in_ctxt : 
  outdated_context ->
  int ->
  (Tezos_raw_protocol_012_Psithaca__Alpha_context.t ->
    ('a * Alpha_context.context, 'b)
      Tezos_protocol_environment_012_Psithaca.Pervasives.result
      Tezos_protocol_environment_012_Psithaca.Lwt.t) ->
  ('c * outdated_context * int, 'b)
    Tezos_protocol_environment_012_Psithaca.Pervasives.result
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val update_and_check : int -> Alpha_context.Gas.cost -> int option

val consume : 
  int ->
  Alpha_context.Gas.cost ->
  (int,
    Tezos_protocol_environment_012_Psithaca.Error_monad.error
      Tezos_protocol_environment_012_Psithaca.Error_monad.trace)
    Tezos_protocol_environment_012_Psithaca.Pervasives.result