package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Michelson_v1_gas_costs_generated end
val cost_N_IAbs_int : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_bls12_381_fr : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_bls12_381_g1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_bls12_381_g2 : Saturation_repr.may_saturate Saturation_repr.t
val cost_linear_op_int : int -> int -> int
val cost_N_IAdd_int : int -> int -> int
val cost_N_IAdd_nat : int -> int -> int
val cost_N_IAdd_seconds_to_timestamp : int -> int -> int
val cost_N_IAdd_timestamp_to_seconds : int -> int -> int
val cost_N_IAnd_int_nat : int -> int -> int
val cost_N_IAnd_nat : int -> int -> int
val cost_N_IAnd_bytes : int -> int -> int
val cost_N_IBlake2b : int -> int
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_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_IConcat_bytes_pair : int -> int -> int
val cost_N_IConcat_string_pair : int -> int -> int
val cost_N_ICreate_contract : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDiff_timestamps : int -> int -> int
val cost_N_IDig : int -> int
val cost_N_IDipN : int -> int
val cost_N_IDropN : int -> int
val cost_N_IDug : int -> int
val cost_N_IDupN : int -> int
val cost_div_int : int -> int -> int
val cost_N_IEdiv_int : int -> int -> int
val cost_N_IEdiv_nat : int -> int -> int
val cost_N_IImplicit_account : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IInt_bls12_381_z_fr : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IKeccak : int -> int
val cost_N_ILsl_nat : int -> int
val cost_N_ILsr_nat : int -> int
val cost_N_ILsl_bytes : int -> int -> int
val cost_N_ILsr_bytes : int -> int -> Saturation_repr.may_saturate Saturation_repr.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_update : int -> int -> int
val cost_N_IMul_bls12_381_fr : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_fr_z : int -> int
val cost_N_IMul_bls12_381_g1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_g2 : Saturation_repr.may_saturate Saturation_repr.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 : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeg_bls12_381_g1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeg_bls12_381_g2 : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeg : int -> int
val cost_N_INot_int : int -> int
val cost_N_INot_bytes : int -> int
val cost_N_IMin_block_time : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOpen_chest : int -> int -> int
val cost_N_IOr_nat : int -> int -> int
val cost_N_IOr_bytes : int -> int -> int
val cost_N_IPairing_check_bls12_381 : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISapling_empty_state : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_iter : int -> int
val cost_N_ISha256 : int -> int
val cost_N_ISha3 : int -> int
val cost_N_ISha512 : int -> int
val cost_N_ISlice_bytes : int -> int
val cost_N_ISlice_string : int -> int
val cost_N_ISplit_ticket : int -> int -> int
val cost_N_ISub_int : int -> int -> int
val cost_N_ISub_tez_legacy : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISub_timestamp_seconds : int -> int -> int
val cost_N_ITotal_voting_power : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ITransfer_tokens : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IUncomb : int -> int
val cost_N_IXor_nat : int -> int -> int
val cost_N_IXor_bytes : int -> int -> int
val cost_N_KList_exit_body : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_CHAIN_ID : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_SIGNATURE_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_SIGNATURE_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_SIGNATURE_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_DECODING_SIGNATURE_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_CHAIN_ID : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_SIGNATURE_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_SIGNATURE_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_SIGNATURE_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_B58CHECK_ENCODING_SIGNATURE_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_CHAIN_ID : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_PUBLIC_KEY_HASH_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_PUBLIC_KEY_HASH_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_PUBLIC_KEY_HASH_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_PUBLIC_KEY_HASH_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_PUBLIC_KEY_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_PUBLIC_KEY_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_PUBLIC_KEY_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_PUBLIC_KEY_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_SIGNATURE_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_SIGNATURE_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_SIGNATURE_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_SIGNATURE_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_Chest_key : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_Chest : int -> int
val cost_ENCODING_CHAIN_ID : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_PUBLIC_KEY_HASH_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_PUBLIC_KEY_HASH_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_PUBLIC_KEY_HASH_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_PUBLIC_KEY_HASH_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_PUBLIC_KEY_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_PUBLIC_KEY_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_PUBLIC_KEY_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_PUBLIC_KEY_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_SIGNATURE_ed25519 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_SIGNATURE_p256 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_SIGNATURE_secp256k1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_SIGNATURE_bls : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_Chest_key : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_Chest : int -> int
val cost_TIMESTAMP_READABLE_DECODING : int -> int
val cost_TIMESTAMP_READABLE_ENCODING : Saturation_repr.may_saturate Saturation_repr.t
val cost_CHECK_PRINTABLE : int -> int
module S = Saturation_repr
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_ISapling_verify_update : int -> int -> int -> int
val cost_N_IApply : bool -> S.may_saturate S.t
val cost_N_KIter : S.may_saturate S.t
val cost_N_KMap_enter_body : S.may_saturate S.t
val cost_N_KList_enter_body : 'a list -> int -> S.may_saturate S.t
val cost_TY_EQ : S.may_saturate S.t
val cost_PARSE_TYPE : S.may_saturate S.t
val cost_UNPARSE_TYPE : 'a S.t -> S.may_saturate S.t
val cost_TYPECHECKING_CODE : S.may_saturate S.t
val cost_UNPARSING_CODE : S.may_saturate S.t
val cost_TYPECHECKING_DATA : S.may_saturate S.t
val cost_UNPARSING_DATA : S.may_saturate S.t
val cost_FIND_ENTRYPOINT : int
val cost_SAPLING_TRANSACTION_ENCODING : inputs:int -> outputs:int -> bound_data:int -> S.may_saturate S.t
val cost_SAPLING_DIFF_ENCODING : nfs:int -> cms:int -> 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