|| Generated Sapl file for StdOverloaded.icl || Converted Records :: <{StdOverloaded.+;}> = {<{StdOverloaded.+}>} <{StdOverloaded.get_+_0}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_+_0}> rec val = select rec (\ a1 = <{StdOverloaded.+;}> val) :: <{StdOverloaded.-;}> = {<{StdOverloaded.-}>} <{StdOverloaded.get_-_1}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_-_1}> rec val = select rec (\ a1 = <{StdOverloaded.-;}> val) :: <{StdOverloaded.zero;}> = {StdOverloaded.zero} StdOverloaded.get_zero_2 rec = select rec (\ a1 = a1) StdOverloaded.set_zero_2 rec val = select rec (\ a1 = <{StdOverloaded.zero;}> val) :: <{StdOverloaded.*;}> = {<{StdOverloaded.*}>} <{StdOverloaded.get_*_3}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_*_3}> rec val = select rec (\ a1 = <{StdOverloaded.*;}> val) :: <{StdOverloaded./;}> = {<{StdOverloaded./}>} <{StdOverloaded.get_/_4}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_/_4}> rec val = select rec (\ a1 = <{StdOverloaded./;}> val) :: <{StdOverloaded.one;}> = {StdOverloaded.one} StdOverloaded.get_one_5 rec = select rec (\ a1 = a1) StdOverloaded.set_one_5 rec val = select rec (\ a1 = <{StdOverloaded.one;}> val) :: <{StdOverloaded.==;}> = {<{StdOverloaded.==}>} <{StdOverloaded.get_==_6}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_==_6}> rec val = select rec (\ a1 = <{StdOverloaded.==;}> val) :: <{StdOverloaded.<;}> = {<{StdOverloaded.<}>} <{StdOverloaded.get_<_7}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_<_7}> rec val = select rec (\ a1 = <{StdOverloaded.<;}> val) :: <{StdOverloaded.isEven;}> = {StdOverloaded.isEven} StdOverloaded.get_isEven_8 rec = select rec (\ a1 = a1) StdOverloaded.set_isEven_8 rec val = select rec (\ a1 = <{StdOverloaded.isEven;}> val) :: <{StdOverloaded.isOdd;}> = {StdOverloaded.isOdd} StdOverloaded.get_isOdd_9 rec = select rec (\ a1 = a1) StdOverloaded.set_isOdd_9 rec val = select rec (\ a1 = <{StdOverloaded.isOdd;}> val) :: <{StdOverloaded.length;}> = {StdOverloaded.length} StdOverloaded.get_length_10 rec = select rec (\ a1 = a1) StdOverloaded.set_length_10 rec val = select rec (\ a1 = <{StdOverloaded.length;}> val) :: <{StdOverloaded.%;}> = {<{StdOverloaded.%}>} <{StdOverloaded.get_%_11}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_%_11}> rec val = select rec (\ a1 = <{StdOverloaded.%;}> val) :: <{StdOverloaded.+++;}> = {<{StdOverloaded.+++}>} <{StdOverloaded.get_+++_12}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_+++_12}> rec val = select rec (\ a1 = <{StdOverloaded.+++;}> val) :: <{StdOverloaded.^;}> = {<{StdOverloaded.^}>} <{StdOverloaded.get_^_13}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_^_13}> rec val = select rec (\ a1 = <{StdOverloaded.^;}> val) :: <{StdOverloaded.abs;}> = {StdOverloaded.abs} StdOverloaded.get_abs_14 rec = select rec (\ a1 = a1) StdOverloaded.set_abs_14 rec val = select rec (\ a1 = <{StdOverloaded.abs;}> val) :: <{StdOverloaded.sign;}> = {StdOverloaded.sign} StdOverloaded.get_sign_15 rec = select rec (\ a1 = a1) StdOverloaded.set_sign_15 rec val = select rec (\ a1 = <{StdOverloaded.sign;}> val) :: <{StdOverloaded.~;}> = {<{StdOverloaded.~}>} <{StdOverloaded.get_~_16}> rec = select rec (\ a1 = a1) <{StdOverloaded.set_~_16}> rec val = select rec (\ a1 = <{StdOverloaded.~;}> val) :: <{StdOverloaded.mod;}> = {StdOverloaded.mod} StdOverloaded.get_mod_17 rec = select rec (\ a1 = a1) StdOverloaded.set_mod_17 rec val = select rec (\ a1 = <{StdOverloaded.mod;}> val) :: <{StdOverloaded.rem;}> = {StdOverloaded.rem} StdOverloaded.get_rem_18 rec = select rec (\ a1 = a1) StdOverloaded.set_rem_18 rec val = select rec (\ a1 = <{StdOverloaded.rem;}> val) :: <{StdOverloaded.gcd;}> = {StdOverloaded.gcd} StdOverloaded.get_gcd_19 rec = select rec (\ a1 = a1) StdOverloaded.set_gcd_19 rec val = select rec (\ a1 = <{StdOverloaded.gcd;}> val) :: <{StdOverloaded.lcm;}> = {StdOverloaded.lcm} StdOverloaded.get_lcm_20 rec = select rec (\ a1 = a1) StdOverloaded.set_lcm_20 rec val = select rec (\ a1 = <{StdOverloaded.lcm;}> val) :: <{StdOverloaded.toInt;}> = {StdOverloaded.toInt} StdOverloaded.get_toInt_21 rec = select rec (\ a1 = a1) StdOverloaded.set_toInt_21 rec val = select rec (\ a1 = <{StdOverloaded.toInt;}> val) :: <{StdOverloaded.toChar;}> = {StdOverloaded.toChar} StdOverloaded.get_toChar_22 rec = select rec (\ a1 = a1) StdOverloaded.set_toChar_22 rec val = select rec (\ a1 = <{StdOverloaded.toChar;}> val) :: <{StdOverloaded.toBool;}> = {StdOverloaded.toBool} StdOverloaded.get_toBool_23 rec = select rec (\ a1 = a1) StdOverloaded.set_toBool_23 rec val = select rec (\ a1 = <{StdOverloaded.toBool;}> val) :: <{StdOverloaded.toReal;}> = {StdOverloaded.toReal} StdOverloaded.get_toReal_24 rec = select rec (\ a1 = a1) StdOverloaded.set_toReal_24 rec val = select rec (\ a1 = <{StdOverloaded.toReal;}> val) :: <{StdOverloaded.toString;}> = {StdOverloaded.toString} StdOverloaded.get_toString_25 rec = select rec (\ a1 = a1) StdOverloaded.set_toString_25 rec val = select rec (\ a1 = <{StdOverloaded.toString;}> val) :: <{StdOverloaded.fromInt;}> = {StdOverloaded.fromInt} StdOverloaded.get_fromInt_26 rec = select rec (\ a1 = a1) StdOverloaded.set_fromInt_26 rec val = select rec (\ a1 = <{StdOverloaded.fromInt;}> val) :: <{StdOverloaded.fromChar;}> = {StdOverloaded.fromChar} StdOverloaded.get_fromChar_27 rec = select rec (\ a1 = a1) StdOverloaded.set_fromChar_27 rec val = select rec (\ a1 = <{StdOverloaded.fromChar;}> val) :: <{StdOverloaded.fromBool;}> = {StdOverloaded.fromBool} StdOverloaded.get_fromBool_28 rec = select rec (\ a1 = a1) StdOverloaded.set_fromBool_28 rec val = select rec (\ a1 = <{StdOverloaded.fromBool;}> val) :: <{StdOverloaded.fromReal;}> = {StdOverloaded.fromReal} StdOverloaded.get_fromReal_29 rec = select rec (\ a1 = a1) StdOverloaded.set_fromReal_29 rec val = select rec (\ a1 = <{StdOverloaded.fromReal;}> val) :: <{StdOverloaded.fromString;}> = {StdOverloaded.fromString} StdOverloaded.get_fromString_30 rec = select rec (\ a1 = a1) StdOverloaded.set_fromString_30 rec val = select rec (\ a1 = <{StdOverloaded.fromString;}> val) :: <{StdOverloaded.ln;}> = {StdOverloaded.ln} StdOverloaded.get_ln_31 rec = select rec (\ a1 = a1) StdOverloaded.set_ln_31 rec val = select rec (\ a1 = <{StdOverloaded.ln;}> val) :: <{StdOverloaded.log10;}> = {StdOverloaded.log10} StdOverloaded.get_log10_32 rec = select rec (\ a1 = a1) StdOverloaded.set_log10_32 rec val = select rec (\ a1 = <{StdOverloaded.log10;}> val) :: <{StdOverloaded.exp;}> = {StdOverloaded.exp} StdOverloaded.get_exp_33 rec = select rec (\ a1 = a1) StdOverloaded.set_exp_33 rec val = select rec (\ a1 = <{StdOverloaded.exp;}> val) :: <{StdOverloaded.sqrt;}> = {StdOverloaded.sqrt} StdOverloaded.get_sqrt_34 rec = select rec (\ a1 = a1) StdOverloaded.set_sqrt_34 rec val = select rec (\ a1 = <{StdOverloaded.sqrt;}> val) :: <{StdOverloaded.sin;}> = {StdOverloaded.sin} StdOverloaded.get_sin_35 rec = select rec (\ a1 = a1) StdOverloaded.set_sin_35 rec val = select rec (\ a1 = <{StdOverloaded.sin;}> val) :: <{StdOverloaded.cos;}> = {StdOverloaded.cos} StdOverloaded.get_cos_36 rec = select rec (\ a1 = a1) StdOverloaded.set_cos_36 rec val = select rec (\ a1 = <{StdOverloaded.cos;}> val) :: <{StdOverloaded.tan;}> = {StdOverloaded.tan} StdOverloaded.get_tan_37 rec = select rec (\ a1 = a1) StdOverloaded.set_tan_37 rec val = select rec (\ a1 = <{StdOverloaded.tan;}> val) :: <{StdOverloaded.asin;}> = {StdOverloaded.asin} StdOverloaded.get_asin_38 rec = select rec (\ a1 = a1) StdOverloaded.set_asin_38 rec val = select rec (\ a1 = <{StdOverloaded.asin;}> val) :: <{StdOverloaded.acos;}> = {StdOverloaded.acos} StdOverloaded.get_acos_39 rec = select rec (\ a1 = a1) StdOverloaded.set_acos_39 rec val = select rec (\ a1 = <{StdOverloaded.acos;}> val) :: <{StdOverloaded.atan;}> = {StdOverloaded.atan} StdOverloaded.get_atan_40 rec = select rec (\ a1 = a1) StdOverloaded.set_atan_40 rec val = select rec (\ a1 = <{StdOverloaded.atan;}> val) :: <{StdOverloaded.sinh;}> = {StdOverloaded.sinh} StdOverloaded.get_sinh_41 rec = select rec (\ a1 = a1) StdOverloaded.set_sinh_41 rec val = select rec (\ a1 = <{StdOverloaded.sinh;}> val) :: <{StdOverloaded.cosh;}> = {StdOverloaded.cosh} StdOverloaded.get_cosh_42 rec = select rec (\ a1 = a1) StdOverloaded.set_cosh_42 rec val = select rec (\ a1 = <{StdOverloaded.cosh;}> val) :: <{StdOverloaded.tanh;}> = {StdOverloaded.tanh} StdOverloaded.get_tanh_43 rec = select rec (\ a1 = a1) StdOverloaded.set_tanh_43 rec val = select rec (\ a1 = <{StdOverloaded.tanh;}> val) :: <{StdOverloaded.asinh;}> = {StdOverloaded.asinh} StdOverloaded.get_asinh_44 rec = select rec (\ a1 = a1) StdOverloaded.set_asinh_44 rec val = select rec (\ a1 = <{StdOverloaded.asinh;}> val) :: <{StdOverloaded.acosh;}> = {StdOverloaded.acosh} StdOverloaded.get_acosh_45 rec = select rec (\ a1 = a1) StdOverloaded.set_acosh_45 rec val = select rec (\ a1 = <{StdOverloaded.acosh;}> val) :: <{StdOverloaded.atanh;}> = {StdOverloaded.atanh} StdOverloaded.get_atanh_46 rec = select rec (\ a1 = a1) StdOverloaded.set_atanh_46 rec val = select rec (\ a1 = <{StdOverloaded.atanh;}> val) :: <{StdOverloaded.inc;}> = {StdOverloaded.inc} StdOverloaded.get_inc_47 rec = select rec (\ a1 = a1) StdOverloaded.set_inc_47 rec val = select rec (\ a1 = <{StdOverloaded.inc;}> val) :: <{StdOverloaded.dec;}> = {StdOverloaded.dec} StdOverloaded.get_dec_48 rec = select rec (\ a1 = a1) StdOverloaded.set_dec_48 rec val = select rec (\ a1 = <{StdOverloaded.dec;}> val)