package tezos-protocol-005-PsBABY5H

  1. Overview
  2. Docs
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_005_PsBABY5H__Environment.Error_monad.error +=
  1. | Block_quota_exceeded
type Tezos_protocol_environment_005_PsBABY5H__Environment.Error_monad.error +=
  1. | Operation_quota_exceeded
val consume : Z.t -> t -> internal_gas -> cost -> (Z.t * t * internal_gas, Tezos_protocol_environment_005_PsBABY5H__Environment.Error_monad.error list) Stdlib.result
val check_enough : Z.t -> t -> internal_gas -> cost -> (unit, Tezos_protocol_environment_005_PsBABY5H__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.