package tezos-protocol-006-PsCARTHA

  1. Overview
  2. Docs
package tezos-protocol-006-PsCARTHA
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Unaccounted
  2. | Limited of {
    1. remaining : Z.t;
    }
type internal_gas
val encoding : t Tezos_base__TzPervasives.Data_encoding.t
val pp : Stdlib.Format.formatter -> t -> unit
type cost
val cost_encoding : cost Tezos_base__TzPervasives.Data_encoding.t
val pp_cost : Stdlib.Format.formatter -> cost -> unit
type Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error +=
  1. | Block_quota_exceeded
type Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error +=
  1. | Operation_quota_exceeded
val consume : Z.t -> t -> internal_gas -> cost -> (Z.t * t * internal_gas, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result
val check_enough : Z.t -> t -> internal_gas -> cost -> (unit, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result
val internal_gas_zero : internal_gas
val free : cost
val atomic_step_cost : int -> cost
val step_cost : int -> cost
val alloc_cost : int -> cost
val alloc_bytes_cost : int -> cost
val alloc_mbytes_cost : int -> cost
val alloc_bits_cost : int -> cost
val read_bytes_cost : Z.t -> cost
val write_bytes_cost : Z.t -> cost
val (*@) : int -> cost -> cost
val (+@) : cost -> cost -> cost
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct