package tezos-protocol-003-PsddFKi3

You can search for identifiers within the package.

in-package search v0.2.0

Tezos protocol 003-PsddFKi3 package

Install

dune-project

Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-18.0.tar.gz

sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c

sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Gas_limit_repr/index.html

Module `Tezos_raw_protocol_003_PsddFKi3.Gas_limit_repr`Source

Sourcetype t =

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

Sourceval encoding : t Tezos_protocol_environment_003_PsddFKi3.Data_encoding.encoding

Sourceval pp : Tezos_protocol_environment_003_PsddFKi3.Format.formatter -> t -> unit

Sourcetype cost

Source

val cost_encoding : 
  cost Tezos_protocol_environment_003_PsddFKi3.Data_encoding.encoding

Source

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

Sourcetype Tezos_protocol_environment_003_PsddFKi3.Error_monad.error +=

| Block_quota_exceeded

Sourcetype Tezos_protocol_environment_003_PsddFKi3.Error_monad.error +=

| Operation_quota_exceeded

Source

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

Source

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

Sourceval free : cost

Sourceval step_cost : int -> cost

Sourceval alloc_cost : int -> cost

Sourceval alloc_bytes_cost : int -> cost

Sourceval alloc_mbytes_cost : int -> cost

Sourceval alloc_bits_cost : int -> cost

Sourceval read_bytes_cost : Tezos_protocol_environment_003_PsddFKi3.Z.t -> cost

Sourceval write_bytes_cost : Tezos_protocol_environment_003_PsddFKi3.Z.t -> cost

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

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

package tezos-protocol-003-PsddFKi3

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Gas_limit_repr/index.html

Module Tezos_raw_protocol_003_PsddFKi3.Gas_limit_reprSource

dune-project
Dependency

Module `Tezos_raw_protocol_003_PsddFKi3.Gas_limit_repr`Source