package tezos-protocol-006-PsCARTHA

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t =

| Unaccounted
| Limited of {
1. remaining : Tezos_protocol_environment_006_PsCARTHA.Z.t;
}

type internal_gas

val encoding : t Tezos_protocol_environment_006_PsCARTHA.Data_encoding.encoding

val pp : Tezos_protocol_environment_006_PsCARTHA.Format.formatter -> t -> unit

type cost

val cost_encoding : 
  cost Tezos_protocol_environment_006_PsCARTHA.Data_encoding.encoding

val pp_cost : 
  Tezos_protocol_environment_006_PsCARTHA.Format.formatter ->
  cost ->
  unit

type Tezos_protocol_environment_006_PsCARTHA.Error_monad.error +=

| Block_quota_exceeded

type Tezos_protocol_environment_006_PsCARTHA.Error_monad.error +=

| Operation_quota_exceeded

val consume : 
  Tezos_protocol_environment_006_PsCARTHA.Z.t ->
  t ->
  internal_gas ->
  cost ->
  (Tezos_protocol_environment_006_PsCARTHA.Z.t * t * internal_gas)
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult

val check_enough : 
  Tezos_protocol_environment_006_PsCARTHA.Z.t ->
  t ->
  internal_gas ->
  cost ->
  unit Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult

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 : Tezos_protocol_environment_006_PsCARTHA.Z.t -> cost

val write_bytes_cost : Tezos_protocol_environment_006_PsCARTHA.Z.t -> cost

val (*@) : int -> cost -> cost

val (+@) : cost -> cost -> cost