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_B58CHECK_DECODING_CHAIN_ID : 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_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_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_SIGNATURE_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_ENCODING_CHAIN_ID : 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_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_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_SIGNATURE_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_CHECK_PRINTABLE : int -> int
val cost_DECODING_CHAIN_ID : Saturation_repr.may_saturate Saturation_repr.t
val cost_DECODING_Chest : int -> int
val cost_DECODING_Chest_key : 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_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_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_SIGNATURE_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_ENCODING_CHAIN_ID : Saturation_repr.may_saturate Saturation_repr.t
val cost_ENCODING_Chest : int -> int
val cost_ENCODING_Chest_key : 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_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_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_SIGNATURE_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_TIMESTAMP_READABLE_DECODING : int -> int
val cost_TIMESTAMP_READABLE_ENCODING : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAbs_int : int -> int
val cost_N_IAbs_int_alloc : int -> int
val cost_N_IAbs_int_synthesized : int -> Tezos_raw_protocol_alpha__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_fr_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_bls12_381_fr_synthesized : 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_g1_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_bls12_381_g1_synthesized : 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_bls12_381_g2_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_bls12_381_g2_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_int : int -> int -> int
val cost_N_IAdd_int_alloc : int -> int -> int
val cost_N_IAdd_int_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_nat : int -> int -> int
val cost_N_IAdd_nat_alloc : int -> int -> int
val cost_N_IAdd_nat_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_seconds_to_timestamp : int -> int -> int
val cost_N_IAdd_seconds_to_timestamp_alloc : int -> int -> int
val cost_N_IAdd_seconds_to_timestamp_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_tez_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAdd_timestamp_to_seconds : int -> int -> int
val cost_N_IAdd_timestamp_to_seconds_alloc : int -> int -> int
val cost_N_IAdd_timestamp_to_seconds_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAddress_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAmount_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAnd_bytes : int -> int -> int
val cost_N_IAnd_bytes_alloc : int -> int -> int
val cost_N_IAnd_bytes_synthesized : int -> int -> int
val cost_N_IAnd_int_nat : int -> int -> int
val cost_N_IAnd_int_nat_alloc : 'a -> int -> int
val cost_N_IAnd_int_nat_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAnd_nat : int -> int -> int
val cost_N_IAnd_nat_alloc : int -> int -> int
val cost_N_IAnd_nat_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IAnd_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IApply_alloc : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IApply_synthesized : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBalance_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBig_map_get : int -> int -> int
val cost_N_IBig_map_get_alloc : 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBig_map_get_and_update : int -> int -> int
val cost_N_IBig_map_get_and_update_alloc : 'a -> int -> int
val cost_N_IBig_map_get_and_update_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBig_map_get_synthesized : int -> int -> int
val cost_N_IBig_map_mem : int -> int -> int
val cost_N_IBig_map_mem_alloc : 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBig_map_mem_synthesized : int -> int -> int
val cost_N_IBig_map_update : int -> int -> int
val cost_N_IBig_map_update_alloc : 'a -> int -> int
val cost_N_IBig_map_update_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBlake2b : int -> int
val cost_N_IBlake2b_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBlake2b_synthesized : int -> int
val cost_N_IBytes_int : int -> int
val cost_N_IBytes_int_alloc : int -> int
val cost_N_IBytes_int_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBytes_nat : int -> int
val cost_N_IBytes_nat_alloc : int -> int
val cost_N_IBytes_nat_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBytes_size_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IBytes_size_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICar_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICdr_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IChainId_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICheck_signature_bls : int -> int
val cost_N_ICheck_signature_bls_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICheck_signature_bls_synthesized : int -> int
val cost_N_ICheck_signature_ed25519 : int -> int
val cost_N_ICheck_signature_ed25519_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICheck_signature_ed25519_synthesized : int -> int
val cost_N_ICheck_signature_p256 : int -> int
val cost_N_ICheck_signature_p256_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICheck_signature_p256_synthesized : int -> int
val cost_N_ICheck_signature_secp256k1 : int -> int
val cost_N_ICheck_signature_secp256k1_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICheck_signature_secp256k1_synthesized : int -> int
val cost_N_IComb : int -> int
val cost_N_IComb_alloc : int -> int
val cost_N_IComb_get : int -> int
val cost_N_IComb_get_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IComb_get_synthesized : int -> int
val cost_N_IComb_set : int -> int
val cost_N_IComb_set_alloc : int -> int
val cost_N_IComb_set_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IComb_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICompare : int -> int -> int
val cost_N_ICompare_alloc : 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICompare_synthesized : int -> int -> int
val cost_N_IConcat_bytes_alloc : 'a -> int -> int
val cost_N_IConcat_bytes_pair : int -> int -> int
val cost_N_IConcat_bytes_pair_alloc : int -> int -> int
val cost_N_IConcat_bytes_pair_synthesized : int -> int -> int
val cost_N_IConcat_bytes_synthesized : 'a -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IConcat_string_alloc : 'a -> int -> int
val cost_N_IConcat_string_pair : int -> int -> int
val cost_N_IConcat_string_pair_alloc : int -> int -> int
val cost_N_IConcat_string_pair_synthesized : int -> int -> int
val cost_N_IConcat_string_synthesized : 'a -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_list_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_list_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_none_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_none_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_pair_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_pair_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_some_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICons_some_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IContract_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IContract_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICreate_contract_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ICreate_contract_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDiff_timestamps : int -> int -> int
val cost_N_IDiff_timestamps_alloc : int -> int -> int
val cost_N_IDiff_timestamps_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDig : int -> int
val cost_N_IDig_alloc : int -> int
val cost_N_IDig_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDipN : int -> int
val cost_N_IDipN_alloc : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDipN_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDip_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDropN_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDropN_synthesized : int -> int
val cost_N_IDrop_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDug : int -> int
val cost_N_IDug_alloc : int -> int
val cost_N_IDug_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDupN_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IDupN_synthesized : int -> int
val cost_N_IDup_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEdiv_int : int -> int -> int
val cost_N_IEdiv_int_alloc : int -> int -> int
val cost_N_IEdiv_int_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEdiv_nat : int -> int -> int
val cost_N_IEdiv_nat_alloc : int -> int -> int
val cost_N_IEdiv_nat_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEdiv_tez_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEdiv_tez_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEdiv_teznat_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEdiv_teznat_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmit_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmpty_big_map_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmpty_big_map_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmpty_map_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmpty_map_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmpty_set_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEmpty_set_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IEq_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IExec_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IFailwith_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IFailwith_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IGe_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IGt_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IHalt_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IHash_key_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IHash_key_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIf_cons_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIf_left_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIf_none_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIf_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IImplicit_account : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IImplicit_account_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IImplicit_account_synthesized : 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_bls12_381_z_fr_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IInt_bls12_381_z_fr_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IInt_bytes : int -> int
val cost_N_IInt_bytes_alloc : int -> int
val cost_N_IInt_bytes_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IInt_nat_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IIs_nat_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IJoin_tickets : 'a -> 'b -> int -> int -> int
val cost_N_IJoin_tickets_alloc : 'a -> 'b -> int -> int -> int
val cost_N_IJoin_tickets_synthesized : 'a -> 'b -> int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IKeccak : int -> int
val cost_N_IKeccak_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IKeccak_synthesized : int -> int
val cost_N_ILambda_lam_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILambda_lam_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILambda_lamrec_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILambda_lamrec_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILe_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILeft_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILevel_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IList_iter_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IList_iter_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IList_map_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IList_map_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IList_size_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IList_size_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILoop_in_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILoop_left_in_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILoop_left_in_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILoop_left_out_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILoop_left_out_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILoop_out_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILoop_out_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILsl_bytes_alloc : int -> int -> int
val cost_N_ILsl_bytes_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILsl_nat_alloc : int -> int
val cost_N_ILsl_nat_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILsr_bytes : int -> int -> int
val cost_N_ILsr_bytes_alloc : int -> int -> int
val cost_N_ILsr_bytes_synthesized : int -> int -> int
val cost_N_ILsr_nat : int -> int
val cost_N_ILsr_nat_alloc : int -> int
val cost_N_ILsr_nat_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ILt_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMap_get : int -> int -> int
val cost_N_IMap_get_alloc : 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMap_get_and_update : int -> int -> int
val cost_N_IMap_get_and_update_alloc : 'a -> int -> int
val cost_N_IMap_get_and_update_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMap_get_synthesized : int -> int -> int
val cost_N_IMap_iter : int -> int
val cost_N_IMap_iter_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMap_iter_synthesized : int -> int
val cost_N_IMap_map : int -> int
val cost_N_IMap_map_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMap_map_synthesized : int -> int
val cost_N_IMap_mem : int -> int -> int
val cost_N_IMap_mem_alloc : 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMap_mem_synthesized : int -> int -> int
val cost_N_IMap_size_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMap_size_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMap_update : int -> int -> int
val cost_N_IMap_update_alloc : 'a -> int -> int
val cost_N_IMap_update_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMin_block_time : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMin_block_time_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMin_block_time_synthesized : 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_fr_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_fr_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_fr_z : int -> int
val cost_N_IMul_bls12_381_fr_z_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_fr_z_synthesized : int -> int
val cost_N_IMul_bls12_381_g1 : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_g1_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_g1_synthesized : 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_g2_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_g2_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_z_fr : int -> int
val cost_N_IMul_bls12_381_z_fr_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_bls12_381_z_fr_synthesized : int -> int
val cost_N_IMul_int : int -> int -> int
val cost_N_IMul_int_alloc : int -> int -> int
val cost_N_IMul_int_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_nat : int -> int -> int
val cost_N_IMul_nat_alloc : int -> int -> int
val cost_N_IMul_nat_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_nattez_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_nattez_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_teznat_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IMul_teznat_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INat_bytes : int -> int
val cost_N_INat_bytes_alloc : int -> int
val cost_N_INat_bytes_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeg : int -> int
val cost_N_INeg_alloc : int -> int
val cost_N_INeg_bls12_381_fr : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeg_bls12_381_fr_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeg_bls12_381_fr_synthesized : 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_g1_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeg_bls12_381_g1_synthesized : 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_bls12_381_g2_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeg_bls12_381_g2_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeg_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INeq_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INil_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INot_bytes : int -> int
val cost_N_INot_bytes_alloc : int -> int
val cost_N_INot_bytes_synthesized : int -> int
val cost_N_INot_int : int -> int
val cost_N_INot_int_alloc : int -> int
val cost_N_INot_int_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INot_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_INow_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOpen_chest : int -> int -> int
val cost_N_IOpen_chest_alloc : int -> int -> int
val cost_N_IOpen_chest_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOpt_map_none_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOpt_map_none_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOpt_map_some_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOpt_map_some_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOr_bytes : int -> int -> int
val cost_N_IOr_bytes_alloc : int -> int -> int
val cost_N_IOr_bytes_synthesized : int -> int -> int
val cost_N_IOr_nat : int -> int -> int
val cost_N_IOr_nat_alloc : int -> int -> int
val cost_N_IOr_nat_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IOr_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IPairing_check_bls12_381 : int -> int
val cost_N_IPairing_check_bls12_381_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IPairing_check_bls12_381_synthesized : int -> int
val cost_N_IPush_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IRead_ticket_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IRead_ticket_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IRight_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISapling_empty_state : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISapling_empty_state_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISapling_empty_state_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISapling_verify_update : int -> int -> int
val cost_N_ISapling_verify_update_alloc : int -> int -> int
val cost_N_ISapling_verify_update_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISelf_address_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISelf_address_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISelf_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISender_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_delegate_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_delegate_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_iter : int -> int
val cost_N_ISet_iter_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_iter_synthesized : int -> int
val cost_N_ISet_mem : int -> int -> int
val cost_N_ISet_mem_alloc : 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_mem_synthesized : int -> int -> int
val cost_N_ISet_size_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_size_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISet_update : int -> int -> int
val cost_N_ISet_update_alloc : 'a -> int -> int
val cost_N_ISet_update_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISha256 : int -> int
val cost_N_ISha256_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISha256_synthesized : int -> int
val cost_N_ISha3 : int -> int
val cost_N_ISha3_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISha3_synthesized : int -> int
val cost_N_ISha512 : int -> int
val cost_N_ISha512_alloc : 'a -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISha512_synthesized : int -> int
val cost_N_ISlice_bytes : int -> int
val cost_N_ISlice_bytes_alloc : int -> int
val cost_N_ISlice_bytes_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISlice_string : int -> int
val cost_N_ISlice_string_alloc : int -> int
val cost_N_ISlice_string_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISource_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISplit_ticket : int -> int -> int
val cost_N_ISplit_ticket_alloc : 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISplit_ticket_synthesized : int -> int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IString_size_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IString_size_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISub_int : int -> int -> int
val cost_N_ISub_int_alloc : int -> int -> int
val cost_N_ISub_int_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISub_tez_legacy : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISub_tez_legacy_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISub_tez_legacy_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISub_tez_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISub_timestamp_seconds : int -> int -> int
val cost_N_ISub_timestamp_seconds_alloc : int -> int -> int
val cost_N_ISub_timestamp_seconds_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ISwap_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ITicket_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ITotal_voting_power : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ITotal_voting_power_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ITotal_voting_power_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ITransfer_tokens_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_ITransfer_tokens_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IUncomb : int -> int
val cost_N_IUncomb_alloc : int -> int
val cost_N_IUncomb_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IUnit_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IUnpack_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IUnpair_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IView_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IVoting_power_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IVoting_power_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IXor_bytes : int -> int -> int
val cost_N_IXor_bytes_alloc : int -> int -> int
val cost_N_IXor_bytes_synthesized : int -> int -> int
val cost_N_IXor_nat : int -> int -> int
val cost_N_IXor_nat_alloc : int -> int -> int
val cost_N_IXor_nat_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IXor_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KCons_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KIter_empty_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KIter_empty_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KIter_nonempty_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KIter_nonempty_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KList_enter_body_alloc : int -> int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KList_enter_body_synthesized : int -> int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KList_exit_body : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KList_exit_body_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KList_exit_body_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KLoop_in_left_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KLoop_in_left_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KLoop_in_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KMap_enter_body_alloc : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KMap_enter_body_synthesized : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KMap_exit_body : int -> int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KMap_exit_body_alloc : 'a -> int -> int
val cost_N_KMap_exit_body_synthesized : int -> int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KMap_head_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KMap_head_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KNil_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KReturn_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KUndip_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KView_exit_alloc : Saturation_repr.may_saturate Saturation_repr.t
val cost_N_KView_exit_synthesized : Saturation_repr.may_saturate Saturation_repr.t
val cost_amplification_loop_model : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_PARSE_TYPE : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_Parsing_Code_gas : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_Parsing_Code_size : int -> 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
val cost_Parsing_Data_gas : int -> int
val cost_Parsing_Data_size : int -> int -> int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_TY_EQ : int -> int
val cost_UNPARSE_TYPE : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_Unparsing_Code_gas : int -> Saturation_repr.may_saturate Saturation_repr.t
val cost_Unparsing_Code_size : int -> 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
val cost_Unparsing_Data_gas : int -> int
val cost_Unparsing_Data_size : int -> 'a -> 'b -> Saturation_repr.may_saturate Saturation_repr.t
module S = Saturation_repr

Hand-edited/written cost functions

val cost_N_ILsl_nat : int -> int
val cost_N_ILsl_bytes : int -> int -> int
val cost_N_ISapling_verify_update_with_blake2b : int -> int -> int -> int
val cost_N_IApply : bool -> S.may_saturate S.t
val cost_N_KMap_enter_body : int -> S.may_saturate S.t
val cost_N_KList_enter_body : 'a list -> int -> S.may_saturate S.t
val cost_PARSE_TYPE1 : {S}1.may_saturate {S}1.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
val cost_N_IDropN : int -> int
val cost_N_IDupN : int -> int
val cost_N_IContract : S.may_saturate S.t
val cost_N_ICreate_contract : S.may_saturate S.t
val cost_N_ITransfer_tokens : S.may_saturate S.t
val cost_N_IEmit : S.may_saturate S.t
val cost_N_IConcat_string_precheck : int -> int
val cost_N_IConcat_string : int -> int
val cost_N_IConcat_bytes : int -> int
val cost_N_IUnpack : int -> int
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