Module Tezos_raw_protocol_alpha.Michelson_v1_gas_costs_generated

module S = Saturation_repr
val cost_B58CHECK_DECODING_CHAIN_ID : S.may_saturate S.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_bls : S.may_saturate S.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_ed25519 : S.may_saturate S.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_p256 : S.may_saturate S.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_HASH_secp256k1 : S.may_saturate S.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_bls : S.may_saturate S.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_ed25519 : S.may_saturate S.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_p256 : S.may_saturate S.t
val cost_B58CHECK_DECODING_PUBLIC_KEY_secp256k1 : S.may_saturate S.t
val cost_B58CHECK_DECODING_SIGNATURE_bls : S.may_saturate S.t
val cost_B58CHECK_DECODING_SIGNATURE_ed25519 : S.may_saturate S.t
val cost_B58CHECK_DECODING_SIGNATURE_p256 : S.may_saturate S.t
val cost_B58CHECK_DECODING_SIGNATURE_secp256k1 : S.may_saturate S.t
val cost_B58CHECK_ENCODING_CHAIN_ID : S.may_saturate S.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_bls : S.may_saturate S.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_ed25519 : S.may_saturate S.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_p256 : S.may_saturate S.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_HASH_secp256k1 : S.may_saturate S.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_bls : S.may_saturate S.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_ed25519 : S.may_saturate S.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_p256 : S.may_saturate S.t
val cost_B58CHECK_ENCODING_PUBLIC_KEY_secp256k1 : S.may_saturate S.t
val cost_B58CHECK_ENCODING_SIGNATURE_bls : S.may_saturate S.t
val cost_B58CHECK_ENCODING_SIGNATURE_ed25519 : S.may_saturate S.t
val cost_B58CHECK_ENCODING_SIGNATURE_p256 : S.may_saturate S.t
val cost_B58CHECK_ENCODING_SIGNATURE_secp256k1 : S.may_saturate S.t
val cost_BLS_FR_FROM_Z : S.may_saturate S.t
val cost_BLS_FR_TO_Z : S.may_saturate S.t
val cost_CHECK_PRINTABLE : int -> int
val cost_DECODING_BLS_FR : S.may_saturate S.t
val cost_DECODING_BLS_G1 : S.may_saturate S.t
val cost_DECODING_BLS_G2 : S.may_saturate S.t
val cost_DECODING_CHAIN_ID : S.may_saturate S.t
val cost_DECODING_Chest : int -> int
val cost_DECODING_Chest_key : S.may_saturate S.t
val cost_DECODING_PUBLIC_KEY_HASH_bls : S.may_saturate S.t
val cost_DECODING_PUBLIC_KEY_HASH_ed25519 : S.may_saturate S.t
val cost_DECODING_PUBLIC_KEY_HASH_p256 : S.may_saturate S.t
val cost_DECODING_PUBLIC_KEY_HASH_secp256k1 : S.may_saturate S.t
val cost_DECODING_PUBLIC_KEY_bls : S.may_saturate S.t
val cost_DECODING_PUBLIC_KEY_ed25519 : S.may_saturate S.t
val cost_DECODING_PUBLIC_KEY_p256 : S.may_saturate S.t
val cost_DECODING_PUBLIC_KEY_secp256k1 : S.may_saturate S.t
val cost_DECODING_SIGNATURE_bls : S.may_saturate S.t
val cost_DECODING_SIGNATURE_ed25519 : S.may_saturate S.t
val cost_DECODING_SIGNATURE_p256 : S.may_saturate S.t
val cost_DECODING_SIGNATURE_secp256k1 : S.may_saturate S.t
val cost_ENCODING_BLS_FR : S.may_saturate S.t
val cost_ENCODING_BLS_G1 : S.may_saturate S.t
val cost_ENCODING_BLS_G2 : S.may_saturate S.t
val cost_ENCODING_CHAIN_ID : S.may_saturate S.t
val cost_ENCODING_Chest : int -> int
val cost_ENCODING_Chest_key : S.may_saturate S.t
val cost_ENCODING_PUBLIC_KEY_HASH_bls : S.may_saturate S.t
val cost_ENCODING_PUBLIC_KEY_HASH_ed25519 : S.may_saturate S.t
val cost_ENCODING_PUBLIC_KEY_HASH_p256 : S.may_saturate S.t
val cost_ENCODING_PUBLIC_KEY_HASH_secp256k1 : S.may_saturate S.t
val cost_ENCODING_PUBLIC_KEY_bls : S.may_saturate S.t
val cost_ENCODING_PUBLIC_KEY_ed25519 : S.may_saturate S.t
val cost_ENCODING_PUBLIC_KEY_p256 : S.may_saturate S.t
val cost_ENCODING_PUBLIC_KEY_secp256k1 : S.may_saturate S.t
val cost_ENCODING_SIGNATURE_bls : S.may_saturate S.t
val cost_ENCODING_SIGNATURE_ed25519 : S.may_saturate S.t
val cost_ENCODING_SIGNATURE_p256 : S.may_saturate S.t
val cost_ENCODING_SIGNATURE_secp256k1 : S.may_saturate S.t
val cost_TIMESTAMP_READABLE_DECODING : int -> int
val cost_TIMESTAMP_READABLE_ENCODING : S.may_saturate S.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 S.t
val cost_N_IAdd_bls12_381_fr : S.may_saturate S.t
val cost_N_IAdd_bls12_381_fr_alloc : S.may_saturate S.t
val cost_N_IAdd_bls12_381_fr_synthesized : S.may_saturate S.t
val cost_N_IAdd_bls12_381_g1 : S.may_saturate S.t
val cost_N_IAdd_bls12_381_g1_alloc : S.may_saturate S.t
val cost_N_IAdd_bls12_381_g1_synthesized : S.may_saturate S.t
val cost_N_IAdd_bls12_381_g2 : S.may_saturate S.t
val cost_N_IAdd_bls12_381_g2_alloc : S.may_saturate S.t
val cost_N_IAdd_bls12_381_g2_synthesized : S.may_saturate S.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 S.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 S.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 S.t
val cost_N_IAdd_tez : S.may_saturate S.t
val cost_N_IAdd_tez_alloc : S.may_saturate S.t
val cost_N_IAdd_tez_synthesized : S.may_saturate S.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 S.t
val cost_N_IAddress : S.may_saturate S.t
val cost_N_IAddress_alloc : S.may_saturate S.t
val cost_N_IAddress_synthesized : S.may_saturate S.t
val cost_N_IAmount : S.may_saturate S.t
val cost_N_IAmount_alloc : S.may_saturate S.t
val cost_N_IAmount_synthesized : S.may_saturate S.t
val cost_N_IAnd : S.may_saturate S.t
val cost_N_IAnd_alloc : S.may_saturate S.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 S.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 S.t
val cost_N_IAnd_synthesized : S.may_saturate S.t
val cost_N_IApply_alloc : int -> S.may_saturate S.t
val cost_N_IApply_synthesized : int -> S.may_saturate S.t
val cost_N_IBalance : S.may_saturate S.t
val cost_N_IBalance_alloc : S.may_saturate S.t
val cost_N_IBalance_synthesized : S.may_saturate S.t
val cost_N_IBig_map_get : int -> int -> int
val cost_N_IBig_map_get_alloc : 'a -> 'b -> S.may_saturate S.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 S.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 -> S.may_saturate S.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 S.t
val cost_N_IBlake2b : int -> int
val cost_N_IBlake2b_alloc : 'a -> S.may_saturate S.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 S.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 S.t
val cost_N_IBytes_size : S.may_saturate S.t
val cost_N_IBytes_size_alloc : S.may_saturate S.t
val cost_N_IBytes_size_synthesized : S.may_saturate S.t
val cost_N_ICar : S.may_saturate S.t
val cost_N_ICar_alloc : S.may_saturate S.t
val cost_N_ICar_synthesized : S.may_saturate S.t
val cost_N_ICdr : S.may_saturate S.t
val cost_N_ICdr_alloc : S.may_saturate S.t
val cost_N_ICdr_synthesized : S.may_saturate S.t
val cost_N_IChainId : S.may_saturate S.t
val cost_N_IChainId_alloc : S.may_saturate S.t
val cost_N_IChainId_synthesized : S.may_saturate S.t
val cost_N_ICheck_signature_bls : int -> int
val cost_N_ICheck_signature_bls_alloc : 'a -> S.may_saturate S.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 -> S.may_saturate S.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 -> S.may_saturate S.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 -> S.may_saturate S.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 -> S.may_saturate S.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 S.t
val cost_N_IComb_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate S.t
val cost_N_ICompare : int -> int -> int
val cost_N_ICompare_alloc : 'a -> 'b -> S.may_saturate S.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 S.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 S.t
val cost_N_ICons_list : S.may_saturate S.t
val cost_N_ICons_list_alloc : S.may_saturate S.t
val cost_N_ICons_list_synthesized : S.may_saturate S.t
val cost_N_ICons_none : S.may_saturate S.t
val cost_N_ICons_none_alloc : S.may_saturate S.t
val cost_N_ICons_none_synthesized : S.may_saturate S.t
val cost_N_ICons_pair : S.may_saturate S.t
val cost_N_ICons_pair_alloc : S.may_saturate S.t
val cost_N_ICons_pair_synthesized : S.may_saturate S.t
val cost_N_ICons_some : S.may_saturate S.t
val cost_N_ICons_some_alloc : S.may_saturate S.t
val cost_N_ICons_some_synthesized : S.may_saturate S.t
val cost_N_IContract_alloc : S.may_saturate S.t
val cost_N_IContract_synthesized : S.may_saturate S.t
val cost_N_ICreate_contract_alloc : S.may_saturate S.t
val cost_N_ICreate_contract_synthesized : S.may_saturate S.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 S.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 S.t
val cost_N_IDip : S.may_saturate S.t
val cost_N_IDipN : int -> int
val cost_N_IDipN_alloc : int -> S.may_saturate S.t
val cost_N_IDipN_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate S.t
val cost_N_IDip_alloc : S.may_saturate S.t
val cost_N_IDip_synthesized : S.may_saturate S.t
val cost_N_IDrop : S.may_saturate S.t
val cost_N_IDropN_alloc : 'a -> S.may_saturate S.t
val cost_N_IDropN_synthesized : int -> int
val cost_N_IDrop_alloc : S.may_saturate S.t
val cost_N_IDrop_synthesized : S.may_saturate S.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 S.t
val cost_N_IDup : S.may_saturate S.t
val cost_N_IDupN_alloc : 'a -> S.may_saturate S.t
val cost_N_IDupN_synthesized : int -> int
val cost_N_IDup_alloc : S.may_saturate S.t
val cost_N_IDup_synthesized : S.may_saturate S.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 S.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 S.t
val cost_N_IEdiv_tez : S.may_saturate S.t
val cost_N_IEdiv_tez_alloc : S.may_saturate S.t
val cost_N_IEdiv_tez_synthesized : S.may_saturate S.t
val cost_N_IEdiv_teznat : S.may_saturate S.t
val cost_N_IEdiv_teznat_alloc : S.may_saturate S.t
val cost_N_IEdiv_teznat_synthesized : S.may_saturate S.t
val cost_N_IEmit_alloc : S.may_saturate S.t
val cost_N_IEmit_synthesized : S.may_saturate S.t
val cost_N_IEmpty_big_map : S.may_saturate S.t
val cost_N_IEmpty_big_map_alloc : S.may_saturate S.t
val cost_N_IEmpty_big_map_synthesized : S.may_saturate S.t
val cost_N_IEmpty_map : S.may_saturate S.t
val cost_N_IEmpty_map_alloc : S.may_saturate S.t
val cost_N_IEmpty_map_synthesized : S.may_saturate S.t
val cost_N_IEmpty_set : S.may_saturate S.t
val cost_N_IEmpty_set_alloc : S.may_saturate S.t
val cost_N_IEmpty_set_synthesized : S.may_saturate S.t
val cost_N_IEq : S.may_saturate S.t
val cost_N_IEq_alloc : S.may_saturate S.t
val cost_N_IEq_synthesized : S.may_saturate S.t
val cost_N_IExec : S.may_saturate S.t
val cost_N_IExec_alloc : S.may_saturate S.t
val cost_N_IExec_synthesized : S.may_saturate S.t
val cost_N_IFailwith : S.may_saturate S.t
val cost_N_IFailwith_alloc : S.may_saturate S.t
val cost_N_IFailwith_synthesized : S.may_saturate S.t
val cost_N_IGe : S.may_saturate S.t
val cost_N_IGe_alloc : S.may_saturate S.t
val cost_N_IGe_synthesized : S.may_saturate S.t
val cost_N_IGt : S.may_saturate S.t
val cost_N_IGt_alloc : S.may_saturate S.t
val cost_N_IGt_synthesized : S.may_saturate S.t
val cost_N_IHalt : S.may_saturate S.t
val cost_N_IHalt_alloc : S.may_saturate S.t
val cost_N_IHalt_synthesized : S.may_saturate S.t
val cost_N_IHash_key : S.may_saturate S.t
val cost_N_IHash_key_alloc : S.may_saturate S.t
val cost_N_IHash_key_synthesized : S.may_saturate S.t
val cost_N_IIf : S.may_saturate S.t
val cost_N_IIf_alloc : S.may_saturate S.t
val cost_N_IIf_cons : S.may_saturate S.t
val cost_N_IIf_cons_alloc : S.may_saturate S.t
val cost_N_IIf_cons_synthesized : S.may_saturate S.t
val cost_N_IIf_left : S.may_saturate S.t
val cost_N_IIf_left_alloc : S.may_saturate S.t
val cost_N_IIf_left_synthesized : S.may_saturate S.t
val cost_N_IIf_none : S.may_saturate S.t
val cost_N_IIf_none_alloc : S.may_saturate S.t
val cost_N_IIf_none_synthesized : S.may_saturate S.t
val cost_N_IIf_synthesized : S.may_saturate S.t
val cost_N_IImplicit_account : S.may_saturate S.t
val cost_N_IImplicit_account_alloc : S.may_saturate S.t
val cost_N_IImplicit_account_synthesized : S.may_saturate S.t
val cost_N_IInt_bls12_381_z_fr : S.may_saturate S.t
val cost_N_IInt_bls12_381_z_fr_alloc : S.may_saturate S.t
val cost_N_IInt_bls12_381_z_fr_synthesized : S.may_saturate S.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 S.t
val cost_N_IInt_nat : S.may_saturate S.t
val cost_N_IInt_nat_alloc : S.may_saturate S.t
val cost_N_IInt_nat_synthesized : S.may_saturate S.t
val cost_N_IIs_nat : S.may_saturate S.t
val cost_N_IIs_nat_alloc : S.may_saturate S.t
val cost_N_IIs_nat_synthesized : S.may_saturate S.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 S.t
val cost_N_IKeccak : int -> int
val cost_N_IKeccak_alloc : 'a -> S.may_saturate S.t
val cost_N_IKeccak_synthesized : int -> int
val cost_N_ILambda : S.may_saturate S.t
val cost_N_ILambda_lam : S.may_saturate S.t
val cost_N_ILambda_lam_alloc : S.may_saturate S.t
val cost_N_ILambda_lam_synthesized : S.may_saturate S.t
val cost_N_ILambda_lamrec : S.may_saturate S.t
val cost_N_ILambda_lamrec_alloc : S.may_saturate S.t
val cost_N_ILambda_lamrec_synthesized : S.may_saturate S.t
val cost_N_ILe : S.may_saturate S.t
val cost_N_ILe_alloc : S.may_saturate S.t
val cost_N_ILe_synthesized : S.may_saturate S.t
val cost_N_ILeft : S.may_saturate S.t
val cost_N_ILeft_alloc : S.may_saturate S.t
val cost_N_ILeft_synthesized : S.may_saturate S.t
val cost_N_ILevel : S.may_saturate S.t
val cost_N_ILevel_alloc : S.may_saturate S.t
val cost_N_ILevel_synthesized : S.may_saturate S.t
val cost_N_IList_iter : S.may_saturate S.t
val cost_N_IList_iter_alloc : S.may_saturate S.t
val cost_N_IList_iter_synthesized : S.may_saturate S.t
val cost_N_IList_map : S.may_saturate S.t
val cost_N_IList_map_alloc : S.may_saturate S.t
val cost_N_IList_map_synthesized : S.may_saturate S.t
val cost_N_IList_size : S.may_saturate S.t
val cost_N_IList_size_alloc : S.may_saturate S.t
val cost_N_IList_size_synthesized : S.may_saturate S.t
val cost_N_ILoop : S.may_saturate S.t
val cost_N_ILoop_in : S.may_saturate S.t
val cost_N_ILoop_in_alloc : S.may_saturate S.t
val cost_N_ILoop_in_synthesized : S.may_saturate S.t
val cost_N_ILoop_left : S.may_saturate S.t
val cost_N_ILoop_left_in : S.may_saturate S.t
val cost_N_ILoop_left_in_alloc : S.may_saturate S.t
val cost_N_ILoop_left_in_synthesized : S.may_saturate S.t
val cost_N_ILoop_left_out : S.may_saturate S.t
val cost_N_ILoop_left_out_alloc : S.may_saturate S.t
val cost_N_ILoop_left_out_synthesized : S.may_saturate S.t
val cost_N_ILoop_out : S.may_saturate S.t
val cost_N_ILoop_out_alloc : S.may_saturate S.t
val cost_N_ILoop_out_synthesized : S.may_saturate S.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 S.t
val cost_N_ILsl_nat_alloc : int -> int
val cost_N_ILsl_nat_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate S.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 S.t
val cost_N_ILt : S.may_saturate S.t
val cost_N_ILt_alloc : S.may_saturate S.t
val cost_N_ILt_synthesized : S.may_saturate S.t
val cost_N_IMap_get : int -> int -> int
val cost_N_IMap_get_alloc : 'a -> 'b -> S.may_saturate S.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 S.t
val cost_N_IMap_get_synthesized : int -> int -> int
val cost_N_IMap_iter : int -> int
val cost_N_IMap_iter_alloc : 'a -> S.may_saturate S.t
val cost_N_IMap_iter_synthesized : int -> int
val cost_N_IMap_map : int -> int
val cost_N_IMap_map_alloc : 'a -> S.may_saturate S.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 -> S.may_saturate S.t
val cost_N_IMap_mem_synthesized : int -> int -> int
val cost_N_IMap_size : S.may_saturate S.t
val cost_N_IMap_size_alloc : S.may_saturate S.t
val cost_N_IMap_size_synthesized : S.may_saturate S.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 S.t
val cost_N_IMin_block_time : S.may_saturate S.t
val cost_N_IMin_block_time_alloc : S.may_saturate S.t
val cost_N_IMin_block_time_synthesized : S.may_saturate S.t
val cost_N_IMul_bls12_381_fr : S.may_saturate S.t
val cost_N_IMul_bls12_381_fr_alloc : S.may_saturate S.t
val cost_N_IMul_bls12_381_fr_synthesized : S.may_saturate S.t
val cost_N_IMul_bls12_381_fr_z : int -> int
val cost_N_IMul_bls12_381_fr_z_alloc : 'a -> S.may_saturate S.t
val cost_N_IMul_bls12_381_fr_z_synthesized : int -> int
val cost_N_IMul_bls12_381_g1 : S.may_saturate S.t
val cost_N_IMul_bls12_381_g1_alloc : S.may_saturate S.t
val cost_N_IMul_bls12_381_g1_synthesized : S.may_saturate S.t
val cost_N_IMul_bls12_381_g2 : S.may_saturate S.t
val cost_N_IMul_bls12_381_g2_alloc : S.may_saturate S.t
val cost_N_IMul_bls12_381_g2_synthesized : S.may_saturate S.t
val cost_N_IMul_bls12_381_z_fr : int -> int
val cost_N_IMul_bls12_381_z_fr_alloc : 'a -> S.may_saturate S.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 S.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 S.t
val cost_N_IMul_nattez : S.may_saturate S.t
val cost_N_IMul_nattez_alloc : S.may_saturate S.t
val cost_N_IMul_nattez_synthesized : S.may_saturate S.t
val cost_N_IMul_teznat : S.may_saturate S.t
val cost_N_IMul_teznat_alloc : S.may_saturate S.t
val cost_N_IMul_teznat_synthesized : S.may_saturate S.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 S.t
val cost_N_INeg : int -> int
val cost_N_INeg_alloc : int -> int
val cost_N_INeg_bls12_381_fr : S.may_saturate S.t
val cost_N_INeg_bls12_381_fr_alloc : S.may_saturate S.t
val cost_N_INeg_bls12_381_fr_synthesized : S.may_saturate S.t
val cost_N_INeg_bls12_381_g1 : S.may_saturate S.t
val cost_N_INeg_bls12_381_g1_alloc : S.may_saturate S.t
val cost_N_INeg_bls12_381_g1_synthesized : S.may_saturate S.t
val cost_N_INeg_bls12_381_g2 : S.may_saturate S.t
val cost_N_INeg_bls12_381_g2_alloc : S.may_saturate S.t
val cost_N_INeg_bls12_381_g2_synthesized : S.may_saturate S.t
val cost_N_INeg_synthesized : int -> Tezos_raw_protocol_alpha__Saturation_repr.may_saturate S.t
val cost_N_INeq : S.may_saturate S.t
val cost_N_INeq_alloc : S.may_saturate S.t
val cost_N_INeq_synthesized : S.may_saturate S.t
val cost_N_INil : S.may_saturate S.t
val cost_N_INil_alloc : S.may_saturate S.t
val cost_N_INil_synthesized : S.may_saturate S.t
val cost_N_INot : S.may_saturate S.t
val cost_N_INot_alloc : S.may_saturate S.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 S.t
val cost_N_INot_synthesized : S.may_saturate S.t
val cost_N_INow : S.may_saturate S.t
val cost_N_INow_alloc : S.may_saturate S.t
val cost_N_INow_synthesized : S.may_saturate S.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 S.t
val cost_N_IOpt_map : S.may_saturate S.t
val cost_N_IOpt_map_none : S.may_saturate S.t
val cost_N_IOpt_map_none_alloc : S.may_saturate S.t
val cost_N_IOpt_map_none_synthesized : S.may_saturate S.t
val cost_N_IOpt_map_some : S.may_saturate S.t
val cost_N_IOpt_map_some_alloc : S.may_saturate S.t
val cost_N_IOpt_map_some_synthesized : S.may_saturate S.t
val cost_N_IOr : S.may_saturate S.t
val cost_N_IOr_alloc : S.may_saturate S.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 S.t
val cost_N_IOr_synthesized : S.may_saturate S.t
val cost_N_IPairing_check_bls12_381 : int -> int
val cost_N_IPairing_check_bls12_381_alloc : 'a -> S.may_saturate S.t
val cost_N_IPairing_check_bls12_381_synthesized : int -> int
val cost_N_IPush : S.may_saturate S.t
val cost_N_IPush_alloc : S.may_saturate S.t
val cost_N_IPush_synthesized : S.may_saturate S.t
val cost_N_IRead_ticket : S.may_saturate S.t
val cost_N_IRead_ticket_alloc : S.may_saturate S.t
val cost_N_IRead_ticket_synthesized : S.may_saturate S.t
val cost_N_IRight : S.may_saturate S.t
val cost_N_IRight_alloc : S.may_saturate S.t
val cost_N_IRight_synthesized : S.may_saturate S.t
val cost_N_ISapling_empty_state : S.may_saturate S.t
val cost_N_ISapling_empty_state_alloc : S.may_saturate S.t
val cost_N_ISapling_empty_state_synthesized : S.may_saturate S.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 S.t
val cost_N_ISelf : S.may_saturate S.t
val cost_N_ISelf_address : S.may_saturate S.t
val cost_N_ISelf_address_alloc : S.may_saturate S.t
val cost_N_ISelf_address_synthesized : S.may_saturate S.t
val cost_N_ISelf_alloc : S.may_saturate S.t
val cost_N_ISelf_synthesized : S.may_saturate S.t
val cost_N_ISender : S.may_saturate S.t
val cost_N_ISender_alloc : S.may_saturate S.t
val cost_N_ISender_synthesized : S.may_saturate S.t
val cost_N_ISet_delegate : S.may_saturate S.t
val cost_N_ISet_delegate_alloc : S.may_saturate S.t
val cost_N_ISet_delegate_synthesized : S.may_saturate S.t
val cost_N_ISet_iter : int -> int
val cost_N_ISet_iter_alloc : 'a -> S.may_saturate S.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 -> S.may_saturate S.t
val cost_N_ISet_mem_synthesized : int -> int -> int
val cost_N_ISet_size : S.may_saturate S.t
val cost_N_ISet_size_alloc : S.may_saturate S.t
val cost_N_ISet_size_synthesized : S.may_saturate S.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 S.t
val cost_N_ISha256 : int -> int
val cost_N_ISha256_alloc : 'a -> S.may_saturate S.t
val cost_N_ISha256_synthesized : int -> int
val cost_N_ISha3 : int -> int
val cost_N_ISha3_alloc : 'a -> S.may_saturate S.t
val cost_N_ISha3_synthesized : int -> int
val cost_N_ISha512 : int -> int
val cost_N_ISha512_alloc : 'a -> S.may_saturate S.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 S.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 S.t
val cost_N_ISource : S.may_saturate S.t
val cost_N_ISource_alloc : S.may_saturate S.t
val cost_N_ISource_synthesized : S.may_saturate S.t
val cost_N_ISplit_ticket : int -> int -> int
val cost_N_ISplit_ticket_alloc : 'a -> 'b -> S.may_saturate S.t
val cost_N_ISplit_ticket_synthesized : int -> int -> S.may_saturate S.t
val cost_N_IString_size : S.may_saturate S.t
val cost_N_IString_size_alloc : S.may_saturate S.t
val cost_N_IString_size_synthesized : S.may_saturate S.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 S.t
val cost_N_ISub_tez : S.may_saturate S.t
val cost_N_ISub_tez_alloc : S.may_saturate S.t
val cost_N_ISub_tez_legacy : S.may_saturate S.t
val cost_N_ISub_tez_legacy_alloc : S.may_saturate S.t
val cost_N_ISub_tez_legacy_synthesized : S.may_saturate S.t
val cost_N_ISub_tez_synthesized : S.may_saturate S.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 S.t
val cost_N_ISwap : S.may_saturate S.t
val cost_N_ISwap_alloc : S.may_saturate S.t
val cost_N_ISwap_synthesized : S.may_saturate S.t
val cost_N_ITicket : S.may_saturate S.t
val cost_N_ITicket_alloc : S.may_saturate S.t
val cost_N_ITicket_synthesized : S.may_saturate S.t
val cost_N_ITotal_voting_power : S.may_saturate S.t
val cost_N_ITotal_voting_power_alloc : S.may_saturate S.t
val cost_N_ITotal_voting_power_synthesized : S.may_saturate S.t
val cost_N_ITransfer_tokens_alloc : S.may_saturate S.t
val cost_N_ITransfer_tokens_synthesized : S.may_saturate S.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 S.t
val cost_N_IUnit : S.may_saturate S.t
val cost_N_IUnit_alloc : S.may_saturate S.t
val cost_N_IUnit_synthesized : S.may_saturate S.t
val cost_N_IUnpack_alloc : S.may_saturate S.t
val cost_N_IUnpack_synthesized : S.may_saturate S.t
val cost_N_IUnpair : S.may_saturate S.t
val cost_N_IUnpair_alloc : S.may_saturate S.t
val cost_N_IUnpair_synthesized : S.may_saturate S.t
val cost_N_IView : S.may_saturate S.t
val cost_N_IView_alloc : S.may_saturate S.t
val cost_N_IView_synthesized : S.may_saturate S.t
val cost_N_IVoting_power : S.may_saturate S.t
val cost_N_IVoting_power_alloc : S.may_saturate S.t
val cost_N_IVoting_power_synthesized : S.may_saturate S.t
val cost_N_IXor : S.may_saturate S.t
val cost_N_IXor_alloc : S.may_saturate S.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 S.t
val cost_N_IXor_synthesized : S.may_saturate S.t
val cost_N_KCons : S.may_saturate S.t
val cost_N_KCons_alloc : S.may_saturate S.t
val cost_N_KCons_synthesized : S.may_saturate S.t
val cost_N_KIter : S.may_saturate S.t
val cost_N_KIter_empty : S.may_saturate S.t
val cost_N_KIter_empty_alloc : S.may_saturate S.t
val cost_N_KIter_empty_synthesized : S.may_saturate S.t
val cost_N_KIter_nonempty : S.may_saturate S.t
val cost_N_KIter_nonempty_alloc : S.may_saturate S.t
val cost_N_KIter_nonempty_synthesized : S.may_saturate S.t
val cost_N_KList_enter_body_alloc : int -> int -> S.may_saturate S.t
val cost_N_KList_enter_body_synthesized : int -> int -> S.may_saturate S.t
val cost_N_KList_exit_body : S.may_saturate S.t
val cost_N_KList_exit_body_alloc : S.may_saturate S.t
val cost_N_KList_exit_body_synthesized : S.may_saturate S.t
val cost_N_KLoop_in : S.may_saturate S.t
val cost_N_KLoop_in_alloc : S.may_saturate S.t
val cost_N_KLoop_in_left : S.may_saturate S.t
val cost_N_KLoop_in_left_alloc : S.may_saturate S.t
val cost_N_KLoop_in_left_synthesized : S.may_saturate S.t
val cost_N_KLoop_in_synthesized : S.may_saturate S.t
val cost_N_KMap_enter_body_alloc : int -> S.may_saturate S.t
val cost_N_KMap_enter_body_synthesized : int -> S.may_saturate S.t
val cost_N_KMap_exit_body : int -> int -> S.may_saturate S.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 S.t
val cost_N_KMap_head : S.may_saturate S.t
val cost_N_KMap_head_alloc : S.may_saturate S.t
val cost_N_KMap_head_synthesized : S.may_saturate S.t
val cost_N_KNil : S.may_saturate S.t
val cost_N_KNil_alloc : S.may_saturate S.t
val cost_N_KNil_synthesized : S.may_saturate S.t
val cost_N_KReturn : S.may_saturate S.t
val cost_N_KReturn_alloc : S.may_saturate S.t
val cost_N_KReturn_synthesized : S.may_saturate S.t
val cost_N_KUndip : S.may_saturate S.t
val cost_N_KUndip_alloc : S.may_saturate S.t
val cost_N_KUndip_synthesized : S.may_saturate S.t
val cost_N_KView_exit : S.may_saturate S.t
val cost_N_KView_exit_alloc : S.may_saturate S.t
val cost_N_KView_exit_synthesized : S.may_saturate S.t
val cost_amplification_loop_model : int -> S.may_saturate S.t
val cost_PARSE_TYPE : int -> S.may_saturate S.t
val cost_Parsing_Code_gas : int -> S.may_saturate S.t
val cost_Parsing_Code_size : int -> 'a -> 'b -> S.may_saturate S.t
val cost_Parsing_Data_gas : int -> int
val cost_Parsing_Data_size : int -> int -> int -> S.may_saturate S.t
val cost_TY_EQ : int -> int
val cost_UNPARSE_TYPE : int -> S.may_saturate S.t
val cost_Unparsing_Code_gas : int -> S.may_saturate S.t
val cost_Unparsing_Code_size : int -> 'a -> 'b -> S.may_saturate S.t
val cost_Unparsing_Data_gas : int -> int
val cost_Unparsing_Data_size : int -> 'a -> 'b -> S.may_saturate S.t