|| Generated Sapl file for StdClass.icl




|| Converted Records
:: <{StdClass.PlusMin;}> = {<{StdClass.+}>, <{StdClass.-}>, StdClass.zero}
<{StdClass.get_+_0}> rec = select rec (\ a1 a2 a3 = a1)
<{StdClass.get_-_1}> rec = select rec (\ a1 a2 a3 = a2)
StdClass.get_zero_2 rec = select rec (\ a1 a2 a3 = a3)
<{StdClass.set_+_0}> rec val = select rec (\ a1 a2 a3 = <{StdClass.PlusMin;}>  val a2 a3)
<{StdClass.set_-_1}> rec val = select rec (\ a1 a2 a3 = <{StdClass.PlusMin;}>  a1 val a3)
StdClass.set_zero_2 rec val = select rec (\ a1 a2 a3 = <{StdClass.PlusMin;}>  a1 a2 val)

:: <{StdClass.MultDiv;}> = {<{StdClass.*}>, <{StdClass./}>, StdClass.one}
<{StdClass.get_*_3}> rec = select rec (\ a1 a2 a3 = a1)
<{StdClass.get_/_4}> rec = select rec (\ a1 a2 a3 = a2)
StdClass.get_one_5 rec = select rec (\ a1 a2 a3 = a3)
<{StdClass.set_*_3}> rec val = select rec (\ a1 a2 a3 = <{StdClass.MultDiv;}>  val a2 a3)
<{StdClass.set_/_4}> rec val = select rec (\ a1 a2 a3 = <{StdClass.MultDiv;}>  a1 val a3)
StdClass.set_one_5 rec val = select rec (\ a1 a2 a3 = <{StdClass.MultDiv;}>  a1 a2 val)

:: <{StdClass.Arith;}> = {StdClass.PlusMin, StdClass.MultDiv, StdClass.abs, StdClass.sign, <{StdClass.~}>}
StdClass.get_PlusMin_6 rec = select rec (\ a1 a2 a3 a4 a5 = a1)
StdClass.get_MultDiv_7 rec = select rec (\ a1 a2 a3 a4 a5 = a2)
StdClass.get_abs_8 rec = select rec (\ a1 a2 a3 a4 a5 = a3)
StdClass.get_sign_9 rec = select rec (\ a1 a2 a3 a4 a5 = a4)
<{StdClass.get_~_10}> rec = select rec (\ a1 a2 a3 a4 a5 = a5)
StdClass.set_PlusMin_6 rec val = select rec (\ a1 a2 a3 a4 a5 = <{StdClass.Arith;}>  val a2 a3 a4 a5)
StdClass.set_MultDiv_7 rec val = select rec (\ a1 a2 a3 a4 a5 = <{StdClass.Arith;}>  a1 val a3 a4 a5)
StdClass.set_abs_8 rec val = select rec (\ a1 a2 a3 a4 a5 = <{StdClass.Arith;}>  a1 a2 val a4 a5)
StdClass.set_sign_9 rec val = select rec (\ a1 a2 a3 a4 a5 = <{StdClass.Arith;}>  a1 a2 a3 val a5)
<{StdClass.set_~_10}> rec val = select rec (\ a1 a2 a3 a4 a5 = <{StdClass.Arith;}>  a1 a2 a3 a4 val)

:: <{StdClass.IncDec;}> = {<{StdClass.+}>, <{StdClass.-}>, StdClass.one, StdClass.zero}
<{StdClass.get_+_11}> rec = select rec (\ a1 a2 a3 a4 = a1)
<{StdClass.get_-_12}> rec = select rec (\ a1 a2 a3 a4 = a2)
StdClass.get_one_13 rec = select rec (\ a1 a2 a3 a4 = a3)
StdClass.get_zero_14 rec = select rec (\ a1 a2 a3 a4 = a4)
<{StdClass.set_+_11}> rec val = select rec (\ a1 a2 a3 a4 = <{StdClass.IncDec;}>  val a2 a3 a4)
<{StdClass.set_-_12}> rec val = select rec (\ a1 a2 a3 a4 = <{StdClass.IncDec;}>  a1 val a3 a4)
StdClass.set_one_13 rec val = select rec (\ a1 a2 a3 a4 = <{StdClass.IncDec;}>  a1 a2 val a4)
StdClass.set_zero_14 rec val = select rec (\ a1 a2 a3 a4 = <{StdClass.IncDec;}>  a1 a2 a3 val)

:: <{StdClass.Enum;}> = {<{StdClass.<}>, StdClass.IncDec}
<{StdClass.get_<_15}> rec = select rec (\ a1 a2 = a1)
StdClass.get_IncDec_16 rec = select rec (\ a1 a2 = a2)
<{StdClass.set_<_15}> rec val = select rec (\ a1 a2 = <{StdClass.Enum;}>  val a2)
StdClass.set_IncDec_16 rec val = select rec (\ a1 a2 = <{StdClass.Enum;}>  a1 val)

:: <{StdClass.Eq;}> = {<{StdClass.==}>}
<{StdClass.get_==_17}> rec = select rec (\ a1 = a1)
<{StdClass.set_==_17}> rec val = select rec (\ a1 = <{StdClass.Eq;}>  val)

:: <{StdClass.Ord;}> = {<{StdClass.<}>}
<{StdClass.get_<_18}> rec = select rec (\ a1 = a1)
<{StdClass.set_<_18}> rec val = select rec (\ a1 = <{StdClass.Ord;}>  val)