package tezos-protocol-007-PsDELPH1

  1. Overview
  2. Docs
package tezos-protocol-007-PsDELPH1
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = private
  1. | Unaccounted
  2. | Limited of {
    1. remaining : Arith.fp;
    }
val encoding : t Data_encoding.t
val pp : Format.formatter -> t -> unit
type cost
val cost_encoding : cost Data_encoding.t
val pp_cost : Format.formatter -> cost -> unit
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Block_quota_exceeded
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Operation_quota_exceeded
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Gas_limit_too_high
val free : cost
val atomic_step_cost : Z.t -> cost
val step_cost : Z.t -> cost
val alloc_cost : Z.t -> cost
val alloc_bytes_cost : int -> cost
val alloc_mbytes_cost : int -> cost
val read_bytes_cost : Z.t -> cost
val write_bytes_cost : Z.t -> cost
val (*@) : Z.t -> cost -> cost
val (+@) : cost -> cost -> cost
val check_limit : context -> 'a Arith.t -> (unit, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val set_limit : context -> 'a Arith.t -> context
val set_unlimited : context -> context
val consume : context -> cost -> (context, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val check_enough : context -> cost -> (unit, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val level : context -> t
val consumed : since:context -> until:context -> Arith.fp
val block_level : context -> Arith.fp
val cost_of_repr : Gas_limit_repr.cost -> cost