package tezos-protocol-016-PtMumbai
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_N_IAdd_tez : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAddress : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAmount : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAnd : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBalance : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBytes_size : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICar : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICdr : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IChainId : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_list : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_none : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_pair : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_some : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IConst : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IContract : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICreate_contract : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDip : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IView : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDrop : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDup : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEdiv_tez : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmpty_big_map : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmpty_map : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmpty_set : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEq : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IExec : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IGe : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IGt : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IHalt : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IHash_key : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIf : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIf_cons : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIf_left : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIf_none : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOpt_map : Saturation_repr.may_saturate Saturation_repr.t
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_IInt_nat : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIs_nat : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILambda : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILe : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILeft : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILevel : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IList_iter : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IList_map : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IList_size : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILoop : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILoop_left : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILsr_bytes :
int ->
int ->
Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILt : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMap_size : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_fr : Saturation_repr.may_saturate Saturation_repr.t
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_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_INeq : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INil : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INot : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INow : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMin_block_time : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOr : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IPairing_check_bls12_381 :
int ->
Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IRead_ticket : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IRight : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISapling_empty_state :
Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISelf_address : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISelf : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISender : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_delegate : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_size : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISource : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IString_size : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISub_tez : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISub_tez_legacy : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISwap : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ITicket : Saturation_repr.may_saturate Saturation_repr.t
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_IUnpair : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IVoting_power : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IXor : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KCons : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KList_exit_body : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KLoop_in : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KLoop_in_left : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KNil : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KReturn : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KView_exit : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KMap_head : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KUndip : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_BLS_FR : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_BLS_G1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_BLS_G2 : 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_ENCODING_BLS_FR : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_BLS_G1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_BLS_G2 : 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_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_TIMESTAMP_READABLE_ENCODING :
Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmit : Saturation_repr.may_saturate Saturation_repr.t
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_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_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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>