package tezos-protocol-003-PsddFKi3

  1. Overview
  2. Docs
package tezos-protocol-003-PsddFKi3
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = private
  1. | Unaccounted
  2. | Limited of {
    1. remaining : Z.t;
    }
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_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Block_quota_exceeded
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Operation_quota_exceeded
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Gas_limit_too_high
val free : 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
val check_limit : context -> Z.t -> (unit, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result
val set_limit : context -> Z.t -> context
val set_unlimited : context -> context
val consume : context -> cost -> (context, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result
val check_enough : context -> cost -> (unit, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result
val level : context -> t
val consumed : since:context -> until:context -> Z.t
val block_level : context -> Z.t
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