package tezos-protocol-005-PsBabyM1

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

Module Tezos_raw_protocol_005_PsBabyM1.Gas_limit_reprSource

Sourcetype t =
  1. | Unaccounted
  2. | Limited of {
    1. remaining : Tezos_protocol_environment_005_PsBabyM1.Z.t;
    }
Sourcetype internal_gas
Sourcetype cost
Sourceval internal_gas_zero : internal_gas
Sourceval free : cost
Sourceval atomic_step_cost : int -> cost
Sourceval step_cost : int -> cost
Sourceval alloc_cost : int -> cost
Sourceval alloc_bytes_cost : int -> cost
Sourceval alloc_mbytes_cost : int -> cost
Sourceval alloc_bits_cost : int -> cost
Sourceval (*@) : int -> cost -> cost
Sourceval (+@) : cost -> cost -> cost
OCaml

Innovation. Community. Security.