package tezos-protocol-alpha

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