package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type local_gas_counter = int

Internally, the interpretation loop uses a local gas counter.

type outdated_context =
  1. | OutDatedContext of Alpha_context.context

During the evaluation, the gas level in the context is outdated. See comments in the implementation file for more details.

next logger (ctxt, step_constants) local_gas_counter ks accu stack is an internal function which interprets the continuation ks to execute the interpreter on the current A-stack.

OCaml

Innovation. Community. Security.