package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Michelson_v1_gas_costs_generated/index.html

Module Tezos_raw_protocol_alpha.Michelson_v1_gas_costs_generatedSource

Sourcemodule S_syntax = S.Syntax
Sourceval cost_N_IAdd_bls12_381_fr : S.may_saturate S.t
Sourceval cost_N_IAdd_bls12_381_g1 : S.may_saturate S.t
Sourceval cost_N_IAdd_bls12_381_g2 : S.may_saturate S.t
Sourceval cost_N_IAdd_tez : S.may_saturate S.t
Sourceval cost_N_IAddress : S.may_saturate S.t
Sourceval cost_N_IAmount : S.may_saturate S.t
Sourceval cost_N_IAnd : S.may_saturate S.t
Sourceval cost_N_IBalance : S.may_saturate S.t
Sourceval cost_N_IBlake2b : int -> int
Sourceval cost_N_IBytes_size : S.may_saturate S.t
Sourceval cost_N_IBytes_nat : int -> int
Sourceval cost_N_INat_bytes : int -> int
Sourceval cost_N_IBytes_int : int -> int
Sourceval cost_N_IInt_bytes : int -> int
Sourceval cost_N_ICar : S.may_saturate S.t
Sourceval cost_N_ICdr : S.may_saturate S.t
Sourceval cost_N_IChainId : S.may_saturate S.t
Sourceval cost_N_ICheck_signature_ed25519 : int -> int
Sourceval cost_N_ICheck_signature_p256 : int -> int
Sourceval cost_N_ICheck_signature_secp256k1 : int -> int
Sourceval cost_N_ICheck_signature_bls : int -> int
Sourceval cost_N_IComb : int -> int
Sourceval cost_N_IComb_get : int -> int
Sourceval cost_N_IComb_set : int -> int
Sourceval cost_N_ICompare : int -> int -> int
Sourceval cost_N_ICons_list : S.may_saturate S.t
Sourceval cost_N_ICons_none : S.may_saturate S.t
Sourceval cost_N_ICons_pair : S.may_saturate S.t
Sourceval cost_N_ICons_some : S.may_saturate S.t
Sourceval cost_N_IPush : S.may_saturate S.t
Sourceval cost_N_IUnit : S.may_saturate S.t
Sourceval cost_N_IDig : int -> int
Sourceval cost_N_IView : S.may_saturate S.t
Sourceval cost_N_IDrop : S.may_saturate S.t
Sourceval cost_N_IDug : int -> int
Sourceval cost_N_IDup : S.may_saturate S.t
Sourceval cost_N_IDupN : int -> int
Sourceval cost_N_IEdiv_tez : S.may_saturate S.t
Sourceval cost_N_IEmpty_map : S.may_saturate S.t
Sourceval cost_N_IEmpty_set : S.may_saturate S.t
Sourceval cost_N_IEq : S.may_saturate S.t
Sourceval cost_N_IGe : S.may_saturate S.t
Sourceval cost_N_IGt : S.may_saturate S.t
Sourceval cost_N_IHalt : S.may_saturate S.t
Sourceval cost_N_IHash_key : S.may_saturate S.t
Sourceval cost_N_IImplicit_account : S.may_saturate S.t
Sourceval cost_N_IInt_bls12_381_z_fr : S.may_saturate S.t
Sourceval cost_N_IInt_nat : S.may_saturate S.t
Sourceval cost_N_IIs_nat : S.may_saturate S.t
Sourceval cost_N_IKeccak : int -> int
Sourceval cost_N_ILambda : S.may_saturate S.t
Sourceval cost_N_ILe : S.may_saturate S.t
Sourceval cost_N_ILeft : S.may_saturate S.t
Sourceval cost_N_ILevel : S.may_saturate S.t
Sourceval cost_N_IList_map : S.may_saturate S.t
Sourceval cost_N_IList_size : S.may_saturate S.t
Sourceval cost_N_ILt : S.may_saturate S.t
Sourceval cost_N_IMap_get : int -> int -> int
Sourceval cost_N_IMap_get_and_update : int -> int -> int
Sourceval cost_N_IMap_iter : int -> int
Sourceval cost_N_IMap_map : int -> int
Sourceval cost_N_IMap_mem : int -> int -> int
Sourceval cost_N_IMap_size : S.may_saturate S.t
Sourceval cost_N_IMap_update : int -> int -> int
Sourceval cost_N_IMul_nattez : S.may_saturate S.t
Sourceval cost_N_IMul_teznat : S.may_saturate S.t
Sourceval cost_N_IEdiv_teznat : S.may_saturate S.t
Sourceval cost_N_IMul_bls12_381_fr : S.may_saturate S.t
Sourceval cost_N_IMul_bls12_381_fr_z : int -> int
Sourceval cost_N_IMul_bls12_381_g1 : S.may_saturate S.t
Sourceval cost_N_IMul_bls12_381_g2 : S.may_saturate S.t
Sourceval cost_N_IMul_bls12_381_z_fr : int -> int
Sourceval cost_mul : int -> int -> int
Sourceval cost_N_IMul_int : int -> int -> int
Sourceval cost_N_IMul_nat : int -> int -> int
Sourceval cost_N_INeg_bls12_381_fr : S.may_saturate S.t
Sourceval cost_N_INeg_bls12_381_g1 : S.may_saturate S.t
Sourceval cost_N_INeg_bls12_381_g2 : S.may_saturate S.t
Sourceval cost_N_INeg : int -> int
Sourceval cost_N_INeq : S.may_saturate S.t
Sourceval cost_N_INil : S.may_saturate S.t
Sourceval cost_N_INot : S.may_saturate S.t
Sourceval cost_N_INot_int : int -> int
Sourceval cost_N_INot_bytes : int -> int
Sourceval cost_N_INow : S.may_saturate S.t
Sourceval cost_N_IMin_block_time : S.may_saturate S.t
Sourceval cost_N_IOpen_chest : int -> int -> int
Sourceval cost_N_IOr : S.may_saturate S.t
Sourceval cost_N_IPairing_check_bls12_381 : int -> S.may_saturate S.t
Sourceval cost_N_IRead_ticket : S.may_saturate S.t
Sourceval cost_N_IRight : S.may_saturate S.t
Sourceval cost_N_ISelf_address : S.may_saturate S.t
Sourceval cost_N_ISelf : S.may_saturate S.t
Sourceval cost_N_ISender : S.may_saturate S.t
Sourceval cost_N_ISet_delegate : S.may_saturate S.t
Sourceval cost_N_ISet_iter : int -> int
Sourceval cost_N_ISet_size : S.may_saturate S.t
Sourceval cost_N_ISha256 : int -> int
Sourceval cost_N_ISha3 : int -> int
Sourceval cost_N_ISha512 : int -> int
Sourceval cost_N_ISource : S.may_saturate S.t
Sourceval cost_N_IString_size : S.may_saturate S.t
Sourceval cost_N_ISub_tez : S.may_saturate S.t
Sourceval cost_N_ISub_tez_legacy : S.may_saturate S.t
Sourceval cost_N_ISwap : S.may_saturate S.t
Sourceval cost_N_ITicket : S.may_saturate S.t
Sourceval cost_N_ITotal_voting_power : S.may_saturate S.t
Sourceval cost_N_IUncomb : int -> int
Sourceval cost_N_IUnpair : S.may_saturate S.t
Sourceval cost_N_IVoting_power : S.may_saturate S.t
Sourceval cost_N_IXor : S.may_saturate S.t
Sourceval cost_N_KLoop_in : S.may_saturate S.t
Sourceval cost_N_KLoop_in_left : S.may_saturate S.t
Sourceval cost_N_KNil : S.may_saturate S.t
Sourceval cost_N_KReturn : S.may_saturate S.t
Sourceval cost_N_KView_exit : S.may_saturate S.t
Sourceval cost_N_KMap_head : S.may_saturate S.t
Sourceval cost_N_KUndip : S.may_saturate S.t
Sourceval cost_DECODING_BLS_FR : S.may_saturate S.t
Sourceval cost_DECODING_BLS_G1 : S.may_saturate S.t
Sourceval cost_DECODING_BLS_G2 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_CHAIN_ID : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_ed25519 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_p256 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_secp256k1 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_bls : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_PUBLIC_KEY_ed25519 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_PUBLIC_KEY_p256 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_PUBLIC_KEY_secp256k1 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_PUBLIC_KEY_bls : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_SIGNATURE_ed25519 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_SIGNATURE_p256 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_SIGNATURE_secp256k1 : S.may_saturate S.t
Sourceval cost_B58CHECK_DECODING_SIGNATURE_bls : S.may_saturate S.t
Sourceval cost_ENCODING_BLS_FR : S.may_saturate S.t
Sourceval cost_ENCODING_BLS_G1 : S.may_saturate S.t
Sourceval cost_ENCODING_BLS_G2 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_CHAIN_ID : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_ed25519 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_p256 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_secp256k1 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_bls : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_PUBLIC_KEY_ed25519 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_PUBLIC_KEY_p256 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_PUBLIC_KEY_secp256k1 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_PUBLIC_KEY_bls : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_SIGNATURE_ed25519 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_SIGNATURE_p256 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_SIGNATURE_secp256k1 : S.may_saturate S.t
Sourceval cost_B58CHECK_ENCODING_SIGNATURE_bls : S.may_saturate S.t
Sourceval cost_DECODING_CHAIN_ID : S.may_saturate S.t
Sourceval cost_DECODING_PUBLIC_KEY_HASH_ed25519 : S.may_saturate S.t
Sourceval cost_DECODING_PUBLIC_KEY_HASH_p256 : S.may_saturate S.t
Sourceval cost_DECODING_PUBLIC_KEY_HASH_secp256k1 : S.may_saturate S.t
Sourceval cost_DECODING_PUBLIC_KEY_HASH_bls : S.may_saturate S.t
Sourceval cost_DECODING_PUBLIC_KEY_ed25519 : S.may_saturate S.t
Sourceval cost_DECODING_PUBLIC_KEY_p256 : S.may_saturate S.t
Sourceval cost_DECODING_PUBLIC_KEY_secp256k1 : S.may_saturate S.t
Sourceval cost_DECODING_PUBLIC_KEY_bls : S.may_saturate S.t
Sourceval cost_DECODING_SIGNATURE_ed25519 : S.may_saturate S.t
Sourceval cost_DECODING_SIGNATURE_p256 : S.may_saturate S.t
Sourceval cost_DECODING_SIGNATURE_secp256k1 : S.may_saturate S.t
Sourceval cost_DECODING_SIGNATURE_bls : S.may_saturate S.t
Sourceval cost_DECODING_Chest_key : S.may_saturate S.t
Sourceval cost_DECODING_Chest : int -> int
Sourceval cost_ENCODING_CHAIN_ID : S.may_saturate S.t
Sourceval cost_ENCODING_PUBLIC_KEY_HASH_ed25519 : S.may_saturate S.t
Sourceval cost_ENCODING_PUBLIC_KEY_HASH_p256 : S.may_saturate S.t
Sourceval cost_ENCODING_PUBLIC_KEY_HASH_secp256k1 : S.may_saturate S.t
Sourceval cost_ENCODING_PUBLIC_KEY_HASH_bls : S.may_saturate S.t
Sourceval cost_ENCODING_PUBLIC_KEY_ed25519 : S.may_saturate S.t
Sourceval cost_ENCODING_PUBLIC_KEY_p256 : S.may_saturate S.t
Sourceval cost_ENCODING_PUBLIC_KEY_secp256k1 : S.may_saturate S.t
Sourceval cost_ENCODING_PUBLIC_KEY_bls : S.may_saturate S.t
Sourceval cost_ENCODING_SIGNATURE_ed25519 : S.may_saturate S.t
Sourceval cost_ENCODING_SIGNATURE_p256 : S.may_saturate S.t
Sourceval cost_ENCODING_SIGNATURE_secp256k1 : S.may_saturate S.t
Sourceval cost_ENCODING_SIGNATURE_bls : S.may_saturate S.t
Sourceval cost_ENCODING_Chest_key : S.may_saturate S.t
Sourceval cost_ENCODING_Chest : int -> int
Sourceval cost_TIMESTAMP_READABLE_DECODING : int -> int
Sourceval cost_TIMESTAMP_READABLE_ENCODING : S.may_saturate S.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