Module Mavryk_raw_protocol_alpha.Michelson_v1_gas_costs

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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_raw_protocol_alpha__Saturation_repr.may_saturate Saturation_repr.t
val cost_N_IComb_synthesized : int -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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 -> Mavryk_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