package tezos-protocol-006-PsCARTHA

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

Authors

Maintainers

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-006-PsCARTHA.raw/Tezos_raw_protocol_006_PsCARTHA/Gas_limit_repr/index.html

Module Tezos_raw_protocol_006_PsCARTHA.Gas_limit_reprSource

Sourcetype t =
  1. | Unaccounted
  2. | Limited of {
    1. remaining : Tezos_protocol_environment_006_PsCARTHA.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.