Commit 89060468 authored by Bas Lijnse's avatar Bas Lijnse
Browse files

Updated outdated Clean StdEnv definitions with more recent versions that were in the iTasks repo

parent 689b8379
StdBool.not :== not
<{StdBool.||}> :== or
<{StdBool.&&}> :== and
<{StdBool.==_3}> :== eq
<{StdBool.==_3}> :== eqB
StdBool.toBool_4 !a_0 = a_0
StdBool.fromBool_5 !a_0 = a_0
StdBool.fromBool_6 !a_0 = if a_0 "True" "False"
StdBool.toString_7 !a_0 = if a_0 "True" "False"
StdBool.fromBool_6 !a_0 = case a_0 (True -> "True") (False -> "False")
StdBool.toString_7 !a_0 = case a_0 (True -> "True") (False -> "False")
StdChar.digitToInt !c_0 = sub (toInt_char c_0) 48
<{StdChar.<_19}> :== lt
StdChar.toUpper !c_0 = if (StdChar.isLower c_0) (toChar (add (toInt_char c_0) (sub (toInt_char 'A') (toInt_char 'a')))) c_0
StdChar.toLower !c_0 = if (StdChar.isUpper c_0) (toChar (sub (toInt_char c_0) (sub (toInt_char 'A') (toInt_char 'a')))) c_0
StdChar.isUpper !c_0 = and (ge c_0 'A') (ge 'Z' c_0)
StdChar.isLower !c_0 = and (ge c_0 'a') (ge 'z' c_0)
StdChar.digitToInt !c_0 = subI (C2I c_0) 48
<{StdChar.<_19}> :== ltC
StdChar.toUpper !c_0 = case (StdChar.isLower c_0) (True -> I2C (addI (C2I c_0) (subI (C2I 'A') (C2I 'a')))) (False -> c_0)
StdChar.toLower !c_0 = case (StdChar.isUpper c_0) (True -> I2C (subI (C2I c_0) (subI (C2I 'A') (C2I 'a')))) (False -> c_0)
StdChar.isUpper !c_0 = and (geC c_0 'A') (geC 'Z' c_0)
StdChar.isLower !c_0 = and (geC c_0 'a') (geC 'z' c_0)
StdChar.isAlpha !c_0 = or (StdChar.isLower c_0) (StdChar.isUpper c_0)
StdChar.isAlphanum !c_0 = or (StdChar.isAlpha c_0) (StdChar.isDigit c_0)
StdChar.isDigit !c_0 = and (ge c_0 '0') (ge '9' c_0)
StdChar.isOctDigit !c_0 = and (ge c_0 '0') (ge '7' c_0)
StdChar.isHexDigit !c_0 = or (StdChar.isDigit c_0) (or (and (ge c_0 'A') (ge 'F' c_0)) (and (ge c_0 'a') (ge 'f' c_0)))
<{StdChar.==_18}> :== eq
StdChar.isSpace !c_0 = select c_0 (' ' -> true) ('\t' -> true) ('\n' -> true) ('\r' -> true) ('\f' -> true) ('\r' -> true) (_ -> false)
StdChar.isControl !c_0 = if (lt c_0 ' ') true (eq c_0 '\xB1')
StdChar.isPrint !c_0 = if (ge c_0 ' ') (not (lt '~' c_0)) false
StdChar.isAscii !c_0 = gt 128 c_0
<{StdChar.+_14}> !a !b = toChar (add (toInt_char a) (toInt_char b))
<{StdChar.-_15}> !a !b = toChar (sub (toInt_char a) (toInt_char b))
StdChar.isDigit !c_0 = and (geC c_0 '0') (geC '9' c_0)
StdChar.isOctDigit !c_0 = and (geC c_0 '0') (geC '7' c_0)
StdChar.isHexDigit !c_0 = or (StdChar.isDigit c_0) (or (and (geC c_0 'A') (geC 'F' c_0)) (and (geC c_0 'a') (geC 'f' c_0)))
<{StdChar.==_18}> :== eqC
StdChar.isSpace !c_0 = case c_0 (' ' -> true) ('\t' -> true) ('\n' -> true) ('\r' -> true) ('\f' -> true) ('\r' -> true) (_ -> false)
StdChar.isControl !c_0 = case (ltC c_0 ' ') (True -> true) (False -> eqC c_0 '\xB1')
StdChar.isPrint !c_0 = case (geC c_0 ' ') (True -> not (ltC '~' c_0)) (False -> false)
StdChar.isAscii !c_0 = gtC 128 c_0
<{StdChar.+_14}> !a !b = I2C (addI (C2I a) (C2I b))
<{StdChar.-_15}> !a !b = I2C (subI (C2I a) (C2I b))
StdChar.zero_16 :== '\x00'
StdChar.one_17 :== '\x01'
StdChar.toChar_20 !a = a
StdChar.toChar_21 :== toChar
StdChar.fromChar_22 :== toInt_char
StdChar.toChar_21 :== I2C
StdChar.fromChar_22 :== C2I
StdChar.fromChar_23 !a_0 = a_0
......@@ -4,26 +4,27 @@ StdInt.bitxor :== bitxor
StdInt.bitnot :== bitnot
<{StdInt.<<}> :== shiftleft
<{StdInt.>>}> :== shiftright
<{StdInt.+_6}> :== add
<{StdInt.-_7}> :== sub
<{StdInt.+_6}> :== addI
<{StdInt.-_7}> :== subI
<{StdInt.^_12}> :== powI
StdInt.zero_8 :== 0
<{StdInt.*_9}> :== mult
<{StdInt./_10}> :== div
<{StdInt.*_9}> :== multI
<{StdInt./_10}> :== divI
StdInt.one_11 :== 1
StdInt.isEven_18 !a_0 = eq (mod a_0 2) 0
<{StdInt.<_17}> :== lt
StdInt.abs_13 :== abs
<{StdInt.==_16}> :== eq
StdInt.sign_14 !x_0 = if (eq x_0 0) 0 (if (gt 0 x_0) -1 1)
<{StdInt.~_15}> :== neg
StdInt.isOdd_19 !a_0 = eq (mod a_0 2) 1
StdInt.toInt_20 :== toInt_char || char -> int
StdInt.toInt_22 :== toInt_real
StdInt.toInt_23 :== toInt_str || str -> int
StdInt.fromInt_25 :== toChar
StdInt.isEven_18 !a_0 = eqI (mod a_0 2) 0
<{StdInt.<_17}> :== ltI
StdInt.abs_13 :== absI
<{StdInt.==_16}> :== eqI
StdInt.sign_14 !x_0 = case (eqI x_0 0) (True -> 0) (False -> case (gtI 0 x_0) (True -> -1) (False -> 1))
<{StdInt.~_15}> :== negI
StdInt.isOdd_19 !a_0 = eqI (mod a_0 2) 1
StdInt.toInt_20 :== C2I || char -> int
StdInt.toInt_22 :== R2I || real -> int
StdInt.toInt_23 :== S2I || str -> int
StdInt.fromInt_25 :== I2C
StdInt.fromInt_26 !a_0 = a_0 || int -> real
StdInt.fromInt_27 :== toString
StdInt.fromInt_27 :== I2S
StdInt.rem_28 :== mod
StdInt.gcdnat_32 !x_0 !x_1 = if (eq 0 x_1) x_0 (StdInt.gcdnat_32 x_1 (mod x_0 x_1))
StdInt.gcd_29 !x_0 !y_1 = StdInt.gcdnat_32 (abs x_0) (abs y_1)
StdInt.lcm_30 !x_0 !x_1 = if (eq 0 x_1) 0 (if (eq 0 x_0) 0 (abs (mult (div x_0 (StdInt.gcd_29 x_0 _x_1)) x_1)))
StdInt.gcdnat_32 !x_0 !x_1 = case (eqI 0 x_1) (True -> x_0) (False -> StdInt.gcdnat_32 x_1 (mod x_0 x_1))
StdInt.gcd_29 !x_0 !y_1 = StdInt.gcdnat_32 (absI x_0) (absI y_1)
StdInt.lcm_30 !x_0 !x_1 = case (eqI 0 x_1) (True -> 0) (False -> case (eqI 0 x_0) (True -> 0) (False -> absI (multI (divI x_0 (StdInt.gcd_29 x_0 _x_1)) x_1)))
|| StdReal.icl
|| Externally defined functions:
<{StdReal.+_1}> :== add
<{StdReal.-_2}> :== sub
<{StdReal.*_4}> :== mult
<{StdReal./_5}> :== divreal
<{StdReal.+_1}> :== addR
<{StdReal.-_2}> :== subR
<{StdReal.zero_3}> :== 0.0
<{StdReal.*_4}> :== multR
<{StdReal./_5}> :== divR
StdReal.one_6 :== 1.0
<{StdReal.^_7}> :== pow
<{StdReal.abs_8}> :== abs
<{StdReal.sign_9}> !x_0 = if (eq x_0 0) 0 (if (gt 0 x_0) -1 1)
<{StdReal.~_10}> :== neg
<{StdReal.==_11}> :== eq
<{StdReal.<_12}> :== lt
StdReal.toReal_13 :== toReal
<{StdReal.^_7}> :== powR
<{StdReal.abs_8}> :== absR
<{StdReal.sign_9}> !x_0 = case (eqR x_0 0.0) (True -> 0) (False -> case (gtR 0.0 x_0) (True -> -1) (False -> 1))
<{StdReal.~_10}> :== negR
<{StdReal.==_11}> :== eqR
<{StdReal.<_12}> :== ltR
StdReal.toReal_13 :== I2R
StdReal.toReal_14 :== R2R
StdReal.toReal_15 :== S2R
StdReal.sqrt_22 :== sqrt
StdReal.sin_23 :== sin
StdReal.cos_24 :== cos
StdReal.tan_25 :== tan
StdReal.acos_27 :== acos
StdReal.atan_28 :== atan
StdReal.entier :== entier
<{StdString.+++_11}> :== string_append
<{StdString.%_10}> !str_0 !_x_1 = select _x_1 (_Tuple2 a b -> string_slice str_0 a b)
<{StdString.:=}> !s_0 !_x_1 = select _x_1 (_Tuple2 i_10 c_11 -> string_update s_0 i_10 c_11)
<{StdString.==_2}> :== eq
<{StdString.<_3}> :== lt
<{StdString.%_10}> !str_0 !_x_1 = case _x_1 (_Tuple2 a b -> string_slice str_0 a b)
<{StdString.:=}> !s_0 !_x_1 = case _x_1 (_Tuple2 i_10 c_11 -> string_update_copy s_0 i_10 c_11)
<{StdString.==_2}> :== eqS
<{StdString.<_3}> :== ltS
StdString.fromString_4 a_0 = a_0
StdString.toString_5 n_0 :== toString
StdString.toString_6 a_0 :== toString
StdString.toString_7 a_0 :== toString
StdString.toString_8 a_0 = if a_0 "True" "False"
StdString.toString_5 n_0 :== I2S
StdString.toString_6 a_0 :== C2S
StdString.toString_7 a_0 :== R2S
StdString.toString_8 a_0 = case a_0 (True -> "True") (False -> "False")
StdString.toString_9 a_0 = a_0
......
|| Implementation for _SystemArray.icl
_SystemArray._createArray_0 :== array_create1
_SystemArray._createArray_0 :== array_create1 || Strict
_SystemArray.createArray_1 :== array_create2
_SystemArray.replace_2 :== array_replace
_SystemArray.select_3 :== array_select
......@@ -8,15 +8,15 @@ _SystemArray.size_4 :== array_size
_SystemArray.update_5 :== array_update
_SystemArray.uselect_6 :== array_uselect
_SystemArray.usize_7 :== array_usize
_SystemArray._createArray_8 :== array_create1
_SystemArray.createArray_9 :== array_create2
_SystemArray.replace_10 :== array_replace
_SystemArray.select_11 :== array_select
_SystemArray.size_12 :== array_size
_SystemArray.update_13 :== array_update
_SystemArray.uselect_14 :== array_uselect
_SystemArray.usize_15 :== array_uize
_SystemArray._createArray_16 :== string_create1
_SystemArray._createArray_8 :== array_create1_B_I || Boxed Int
_SystemArray.createArray_9 :== array_create2_B_I
_SystemArray.replace_10 :== array_replace_B_I
_SystemArray.select_11 :== array_select_B_I
_SystemArray.size_12 :== array_size_B_I
_SystemArray.update_13 :== array_update_B_I
_SystemArray.uselect_14 :== array_uselect_B_I
_SystemArray.usize_15 :== array_uize_B_I
_SystemArray._createArray_16 :== string_create1 || Boxed Char -> String
_SystemArray.createArray_17 :== string_create2
_SystemArray.replace_18 :== string_replace
_SystemArray.select_19 :== string_select
......@@ -24,23 +24,23 @@ _SystemArray.size_20 :== string_size
_SystemArray.update_21 :== string_update
_SystemArray.uselect_22 :== string_uselect
_SystemArray.usize_23 :== string_usize
_SystemArray._createArray_24 :== array_create1
_SystemArray.createArray_25 :== array_create2
_SystemArray.replace_26 :== array_replace
_SystemArray.select_27 :== array_select
_SystemArray.size_28 :== array_size
_SystemArray.update_29 :== array_update
_SystemArray.uselect_30 :== array_uselect
_SystemArray.usize_31 :== array_usize
_SystemArray._createArray_32 :== array_create1
_SystemArray.createArray_33 :== array_create2
_SystemArray.replace_34 :== array_replace
_SystemArray.select_35 :== array_select
_SystemArray.size_36 :== array_size
_SystemArray.update_37 :== array_update
_SystemArray.uselect_38 :== array_uselect
_SystemArray.usize_39 :== array_usize
_SystemArray._createArray_40 :== array_create1
_SystemArray._createArray_24 :== array_create1_B_R || Boxed Real
_SystemArray.createArray_25 :== array_create2_B_R
_SystemArray.replace_26 :== array_replace_B_R
_SystemArray.select_27 :== array_select_B_R
_SystemArray.size_28 :== array_size_B_R
_SystemArray.update_29 :== array_update_B_R
_SystemArray.uselect_30 :== array_uselect_B_R
_SystemArray.usize_31 :== array_usize_B_R
_SystemArray._createArray_32 :== array_create1_B_B || Boxed Bool
_SystemArray.createArray_33 :== array_create2_B_B
_SystemArray.replace_34 :== array_replace_B_B
_SystemArray.select_35 :== array_select_B_B
_SystemArray.size_36 :== array_size_B_B
_SystemArray.update_37 :== array_update_B_B
_SystemArray.uselect_38 :== array_uselect_B_B
_SystemArray.usize_39 :== array_usize_B_B
_SystemArray._createArray_40 :== array_create1 || Boxed arrays of boxed arrays -> strict
_SystemArray.createArray_41 :== array_create2
_SystemArray.replace_42 :== array_replace
_SystemArray.select_43 :== array_select
......@@ -48,7 +48,7 @@ _SystemArray.size_44 :== array_size
_SystemArray.update_45 :== array_update
_SystemArray.uselect_46 :== array_uselect
_SystemArray.usize_47 :== array_usize
_SystemArray._createArray_48 :== array_create1
_SystemArray._createArray_48 :== array_create1 || Boxed arrays of strict arrays -> strict
_SystemArray.createArray_49 :== array_create2
_SystemArray.replace_50 :== array_replace
_SystemArray.select_51 :== array_select
......@@ -56,7 +56,7 @@ _SystemArray.size_52 :== array_size
_SystemArray.update_53 :== array_update
_SystemArray.uselect_54 :== array_uselect
_SystemArray.usize_55 :== array_usize
_SystemArray._createArray_56 :== array_create1
_SystemArray._createArray_56 :== array_create1 || Boxed arrays of lazy arrays -> strict
_SystemArray.createArray_57 :== array_create2
_SystemArray.replace_58 :== array_replace
_SystemArray.select_59 :== array_select
......@@ -64,7 +64,7 @@ _SystemArray.size_60 :== array_size
_SystemArray.update_61 :== array_update
_SystemArray.uselect_62 :== array_uselect
_SystemArray.usize_63 :== array_usize
_SystemArray._createArray_64 :== array_create1
_SystemArray._createArray_64 :== array_create1 || Boxed arrays of something -> strict
_SystemArray.createArray_65 :== array_create2
_SystemArray.replace_66 :== array_replace
_SystemArray.select_67 :== array_select
......@@ -72,31 +72,31 @@ _SystemArray.size_68 :== array_size
_SystemArray.update_69 :== array_update
_SystemArray.uselect_70 :== array_uselect
_SystemArray.usize_71 :== array_usize
_SystemArray._createArray_72 :== array_create1
_SystemArray._createArray_72 :== array_create1_lazy || normal lazy unboxed array
_SystemArray.createArray_73 :== array_create2_lazy
_SystemArray.replace_74 :== array_replace_lazy
_SystemArray.select_75 :== array_select_lazy
_SystemArray.size_76 :== array_size
_SystemArray.size_76 :== array_size_lazy
_SystemArray.update_77 :== array_update_lazy
_SystemArray.uselect_78 :== array_uselect
_SystemArray.usize_79 :== array_usize
_SystemArray.uselect_78 :== array_uselect_lazy
_SystemArray.usize_79 :== array_usize_lazy
|| Converted Records
:: <{_SystemArray.Array;}> = {!_SystemArray._createArray, !_SystemArray.createArray, !_SystemArray.replace, !_SystemArray.select, !_SystemArray.size, !_SystemArray.update, !_SystemArray.uselect, !_SystemArray.usize}
_SystemArray.get__createArray_0 rec = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a1)
_SystemArray.get_createArray_1 rec = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a2)
_SystemArray.get_replace_2 rec = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a3)
_SystemArray.get_select_3 rec = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a4)
_SystemArray.get_size_4 rec = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a5)
_SystemArray.get_update_5 rec = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a6)
_SystemArray.get_uselect_6 rec = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a7)
_SystemArray.get_usize_7 rec = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a8)
_SystemArray.set__createArray_0 rec !val = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> val a2 a3 a4 a5 a6 a7 a8)
_SystemArray.set_createArray_1 rec !val = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 val a3 a4 a5 a6 a7 a8)
_SystemArray.set_replace_2 rec !val = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 val a4 a5 a6 a7 a8)
_SystemArray.set_select_3 rec !val = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 val a5 a6 a7 a8)
_SystemArray.set_size_4 rec !val = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 a4 val a6 a7 a8)
_SystemArray.set_update_5 rec !val = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 a4 a5 val a7 a8)
_SystemArray.set_uselect_6 rec !val = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 val a8)
_SystemArray.set_usize_7 rec !val = select rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 val)
_SystemArray.get__createArray_0 rec = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a1)
_SystemArray.get_createArray_1 rec = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a2)
_SystemArray.get_replace_2 rec = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a3)
_SystemArray.get_select_3 rec = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a4)
_SystemArray.get_size_4 rec = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a5)
_SystemArray.get_update_5 rec = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a6)
_SystemArray.get_uselect_6 rec = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a7)
_SystemArray.get_usize_7 rec = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> a8)
_SystemArray.set__createArray_0 rec !val = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> val a2 a3 a4 a5 a6 a7 a8)
_SystemArray.set_createArray_1 rec !val = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 val a3 a4 a5 a6 a7 a8)
_SystemArray.set_replace_2 rec !val = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 val a4 a5 a6 a7 a8)
_SystemArray.set_select_3 rec !val = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 val a5 a6 a7 a8)
_SystemArray.set_size_4 rec !val = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 a4 val a6 a7 a8)
_SystemArray.set_update_5 rec !val = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 a4 a5 val a7 a8)
_SystemArray.set_uselect_6 rec !val = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 val a8)
_SystemArray.set_usize_7 rec !val = case rec (<{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 a8 -> <{_SystemArray.Array;}> a1 a2 a3 a4 a5 a6 a7 val)
|| ?module? _SystemDynamic
|| Only the types are here to make things compile
_SystemDynamic.getDescriptor !_x_0 = getRunTimeDynamicDescriptor _x_0
......@@ -4,71 +4,71 @@ _SystemStrictLists._nil !_vList_0 = _predefined._Nil
_SystemStrictLists._nil_u !_vUList_0 = _predefined._Nil
_SystemStrictLists._nil_uts !_vUTSList_0 = _predefined._Nil
_SystemStrictLists._cons_3 a_0 b_1 = _predefined._Cons a_0 b_1
_SystemStrictLists._decons_4 !_x_0 = select _x_0 (_predefined._Cons a_1_0 b_1_1 -> _Tuple2 a_1_0 b_1_1)
_SystemStrictLists._decons_4 !_x_0 = case _x_0 (_predefined._Cons a_1_0 b_1_1 -> _Tuple2 a_1_0 b_1_1)
_SystemStrictLists._cons_5 !a_0 b_1 = <{_predefined._!Cons}> a_0 b_1
_SystemStrictLists._decons_6 !_x_0 = select _x_0 (_predefined._!Cons a_1_0 b_1_1 -> _Tuple2 a_1_0 b_1_1)
_SystemStrictLists._decons_6 !_x_0 = case _x_0 (_predefined._!Cons a_1_0 b_1_1 -> _Tuple2 a_1_0 b_1_1)
_SystemStrictLists._cons_7 a_0 !b_1 = <{_predefined._Cons!}> a_0 b_1
_SystemStrictLists._decons_8 !_x_0 = select _x_0 (_predefined._Cons! a_1_0 b_1_1 -> _Tuple2 a_1_0 b_1_1)
_SystemStrictLists._decons_8 !_x_0 = case _x_0 (_predefined._Cons! a_1_0 b_1_1 -> _Tuple2 a_1_0 b_1_1)
_SystemStrictLists._cons_9 !a_0 !b_1 = <{_predefined._!Cons!}> a_0 b_1
_SystemStrictLists._decons_10 !_x_0 = select _x_0 (_predefined._!Cons! a_1_0 b_1_1 -> _Tuple2 a_1_0 b_1_1)
_SystemStrictLists._decons_10 !_x_0 = case _x_0 (_predefined._!Cons! a_1_0 b_1_1 -> _Tuple2 a_1_0 b_1_1)
_SystemStrictLists._cons_11 !_vUList_0 a_1 b_2 = _SystemStrictLists.get__cons_u_2 _vUList_0 a_1 b_2
_SystemStrictLists._decons_12 !_vUList_0 !a_1 = _SystemStrictLists.get__decons_u_3 _vUList_0 a_1
_SystemStrictLists._cons_13 !_vUTSList_0 a_1 b_2 = _SystemStrictLists.get__cons_uts_4 _vUTSList_0 a_1 b_2
_SystemStrictLists._decons_14 !_vUTSList_0 !a_1 = _SystemStrictLists.get__decons_uts_5 _vUTSList_0 a_1
_SystemStrictLists._cons_u_15 !a_0 b_1 = _predefined._!Cons a_0 b_1
_SystemStrictLists._decons_u_16 !_x_0 = select _x_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_u_16 !_x_0 = case _x_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_u_17 !a_0 b_1 = _predefined._!Cons a_0 b_1
_SystemStrictLists._decons_u_18 !a_0 = select a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_u_18 !a_0 = case a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_u_19 !a_0 b_1 = _predefined._!Cons a_0 b_1
_SystemStrictLists._decons_u_20 !a_0 = select a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_u_20 !a_0 = case a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_u_21 !a_0 b_1 = _predefined._!Cons a_0 b_1
_SystemStrictLists._decons_u_22 !a_0 = select a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_u_22 !a_0 = case a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_u_23 !a_0 b_1 = _predefined._!Cons a_0 b_1
_SystemStrictLists._decons_u_24 !a_0 = select a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_u_24 !a_0 = case a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_u_25 !a_0 b_1 = _predefined._!Cons a_0 b_1
_SystemStrictLists._decons_u_26 !a_0 = select a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_u_26 !a_0 = case a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_u_27 !a_0 b_1 = _predefined._!Cons a_0 b_1
_SystemStrictLists._decons_u_28 !a_0 = select a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_u_28 !a_0 = case a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_u_29 !a_0 b_1 = _predefined._!Cons a_0 b_1
_SystemStrictLists._decons_u_30 !a_0 = select a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_u_30 !a_0 = case a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_u_31 !a_0 b_1 = _predefined._!Cons a_0 b_1
_SystemStrictLists._decons_u_32 !a_0 = select a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_u_32 !a_0 = case a_0 (_predefined._!Cons a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_uts_33 !a_0 !b_1 = _predefined._!Cons! a_0 b_1
_SystemStrictLists._decons_uts_34 !_x_0 = select _x_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_uts_34 !_x_0 = case _x_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_uts_35 !a_0 !b_1 = _predefined._!Cons! a_0 b_1
_SystemStrictLists._decons_uts_36 !a_0 = select a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_uts_36 !a_0 = case a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_uts_37 !a_0 !b_1 = _predefined._!Cons! a_0 b_1
_SystemStrictLists._decons_uts_38 !a_0 = select a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_uts_38 !a_0 = case a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_uts_39 !a_0 !b_1 = _predefined._!Cons! a_0 b_1
_SystemStrictLists._decons_uts_40 !a_0 = select a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_uts_40 !a_0 = case a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_uts_41 !a_0 !b_1 = _predefined._!Cons! a_0 b_1
_SystemStrictLists._decons_uts_42 !a_0 = select a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_uts_42 !a_0 = case a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_uts_43 !a_0 !b_1 = _predefined._!Cons! a_0 b_1
_SystemStrictLists._decons_uts_44 !a_0 = select a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_uts_44 !a_0 = case a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_uts_45 !a_0 !b_1 = _predefined._!Cons! a_0 b_1
_SystemStrictLists._decons_uts_46 !a_0 = select a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_uts_46 !a_0 = case a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_uts_47 !a_0 !b_1 = _predefined._!Cons! a_0 b_1
_SystemStrictLists._decons_uts_48 !a_0 = select a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_uts_48 !a_0 = case a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._cons_uts_49 !a_0 !b_1 = _predefined._!Cons! a_0 b_1
_SystemStrictLists._decons_uts_50 !a_0 = select a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
_SystemStrictLists._decons_uts_50 !a_0 = case a_0 (_predefined._!Cons! a_10 b_11 -> _Tuple2 a_10 b_11)
|| Converted Records
:: _SystemStrictLists.List = <{_SystemStrictLists.List;}> a1 a2
_SystemStrictLists.get__cons_0 rec = select rec (\ a1 a2 = a1)
_SystemStrictLists.get__decons_1 rec = select rec (\ a1 a2 = a2)
_SystemStrictLists.set__cons_0 rec val = select rec (\ a1 a2 = <{_SystemStrictLists.List;}> val a2)
_SystemStrictLists.set__decons_1 rec val = select rec (\ a1 a2 = <{_SystemStrictLists.List;}> a1 val)
_SystemStrictLists.get__cons_0 rec = case rec (\ a1 a2 = a1)
_SystemStrictLists.get__decons_1 rec = case rec (\ a1 a2 = a2)
_SystemStrictLists.set__cons_0 rec val = case rec (\ a1 a2 = <{_SystemStrictLists.List;}> val a2)
_SystemStrictLists.set__decons_1 rec val = case rec (\ a1 a2 = <{_SystemStrictLists.List;}> a1 val)
:: _SystemStrictLists.UList = <{_SystemStrictLists.UList;}> a1 a2
_SystemStrictLists.get__cons_u_2 rec = select rec (\ a1 a2 = a1)
_SystemStrictLists.get__decons_u_3 rec = select rec (\ a1 a2 = a2)
_SystemStrictLists.set__cons_u_2 rec val = select rec (\ a1 a2 = <{_SystemStrictLists.UList;}> val a2)
_SystemStrictLists.set__decons_u_3 rec val = select rec (\ a1 a2 = <{_SystemStrictLists.UList;}> a1 val)
_SystemStrictLists.get__cons_u_2 rec = case rec (\ a1 a2 = a1)
_SystemStrictLists.get__decons_u_3 rec = case rec (\ a1 a2 = a2)
_SystemStrictLists.set__cons_u_2 rec val = case rec (\ a1 a2 = <{_SystemStrictLists.UList;}> val a2)
_SystemStrictLists.set__decons_u_3 rec val = case rec (\ a1 a2 = <{_SystemStrictLists.UList;}> a1 val)
:: _SystemStrictLists.UTSList = <{_SystemStrictLists.UTSList;}> a1 a2
_SystemStrictLists.get__cons_uts_4 rec = select rec (\ a1 a2 = a1)
_SystemStrictLists.get__decons_uts_5 rec = select rec (\ a1 a2 = a2)
_SystemStrictLists.set__cons_uts_4 rec val = select rec (\ a1 a2 = <{_SystemStrictLists.UTSList;}> val a2)
_SystemStrictLists.set__decons_uts_5 rec val = select rec (\ a1 a2 = <{_SystemStrictLists.UTSList;}> a1 val)
_SystemStrictLists.get__cons_uts_4 rec = case rec (\ a1 a2 = a1)
_SystemStrictLists.get__decons_uts_5 rec = case rec (\ a1 a2 = a2)
_SystemStrictLists.set__cons_uts_4 rec val = case rec (\ a1 a2 = <{_SystemStrictLists.UTSList;}> val a2)
_SystemStrictLists.set__decons_uts_5 rec val = case rec (\ a1 a2 = <{_SystemStrictLists.UTSList;}> a1 val)
......@@ -10,6 +10,9 @@ _predefined._dummyForStrictAlias x = x
:: _predefined._List = <{_predefined._#Cons!}> a1 !a2 | <{_predefined._#Nil!}>
:: _predefined._List = <{_predefined._|Cons}> a1 a2 | <{_predefined._|Nil}>
:: _predefined._Unit = _predefined._Unit
:: _system._Unit = _system._Unit
_predefined.tupsels1v0 :== tupsels1v0
_predefined.tupsels2v0 :== tupsels2v0
_predefined.tupsels2v1 :== tupsels2v1
......@@ -20,48 +23,48 @@ _predefined.tupsels4v0 :== tupsels4v0
_predefined.tupsels4v1 :== tupsels4v1
_predefined.tupsels4v2 :== tupsels4v2
_predefined.tupsels4v3 :== tupsels4v3
_predefined.tupsels5v0 !t = select t (_Tuple5 a0 a1 a2 a3 a4 -> a0)
_predefined.tupsels5v1 !t = select t (_Tuple5 a0 a1 a2 a3 a4 -> a1)
_predefined.tupsels5v2 !t = select t (_Tuple5 a0 a1 a2 a3 a4 -> a2)
_predefined.tupsels5v3 !t = select t (_Tuple5 a0 a1 a2 a3 a4 -> a3)
_predefined.tupsels5v4 !t = select t (_Tuple5 a0 a1 a2 a3 a4 -> a4)
_predefined.tupsels6v0 !t = select t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a0)
_predefined.tupsels6v1 !t = select t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a1)
_predefined.tupsels6v2 !t = select t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a2)
_predefined.tupsels6v3 !t = select t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a3)
_predefined.tupsels6v4 !t = select t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a4)
_predefined.tupsels6v5 !t = select t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a5)
_predefined.tupsels7v0 !t = select t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a0)
_predefined.tupsels7v1 !t = select t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a1)
_predefined.tupsels7v2 !t = select t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a2)
_predefined.tupsels7v3 !t = select t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a3)
_predefined.tupsels7v4 !t = select t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a4)
_predefined.tupsels7v5 !t = select t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a5)
_predefined.tupsels7v6 !t = select t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a6)
_predefined.tupsels8v0 !t = select t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a0)
_predefined.tupsels8v1 !t = select t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a1)
_predefined.tupsels8v2 !t = select t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a2)
_predefined.tupsels8v3 !t = select t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a3)
_predefined.tupsels8v4 !t = select t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a4)
_predefined.tupsels8v5 !t = select t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a5)
_predefined.tupsels8v6 !t = select t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a6)
_predefined.tupsels8v7 !t = select t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a7)
_predefined.tupsels9v0 !t = select t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a0)
_predefined.tupsels9v1 !t = select t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a1)
_predefined.tupsels9v2 !t = select t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a2)
_predefined.tupsels9v3 !t = select t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a3)
_predefined.tupsels9v4 !t = select t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a4)
_predefined.tupsels9v5 !t = select t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a5)
_predefined.tupsels9v6 !t = select t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a6)
_predefined.tupsels9v7 !t = select t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a7)
_predefined.tupsels9v8 !t = select t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a8)
_predefined.tupsels10v0 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a0)
_predefined.tupsels10v1 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a1)
_predefined.tupsels10v2 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a2)
_predefined.tupsels10v3 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a3)
_predefined.tupsels10v4 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a4)
_predefined.tupsels10v5 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a5)
_predefined.tupsels10v6 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a6)
_predefined.tupsels10v7 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a7)
_predefined.tupsels10v8 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a8)
_predefined.tupsels10v9 !t = select t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a9)
_predefined.tupsels5v0 !t = case t (_Tuple5 a0 a1 a2 a3 a4 -> a0)
_predefined.tupsels5v1 !t = case t (_Tuple5 a0 a1 a2 a3 a4 -> a1)
_predefined.tupsels5v2 !t = case t (_Tuple5 a0 a1 a2 a3 a4 -> a2)
_predefined.tupsels5v3 !t = case t (_Tuple5 a0 a1 a2 a3 a4 -> a3)
_predefined.tupsels5v4 !t = case t (_Tuple5 a0 a1 a2 a3 a4 -> a4)
_predefined.tupsels6v0 !t = case t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a0)
_predefined.tupsels6v1 !t = case t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a1)
_predefined.tupsels6v2 !t = case t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a2)
_predefined.tupsels6v3 !t = case t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a3)
_predefined.tupsels6v4 !t = case t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a4)
_predefined.tupsels6v5 !t = case t (_Tuple6 a0 a1 a2 a3 a4 a5 -> a5)
_predefined.tupsels7v0 !t = case t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a0)
_predefined.tupsels7v1 !t = case t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a1)
_predefined.tupsels7v2 !t = case t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a2)
_predefined.tupsels7v3 !t = case t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a3)
_predefined.tupsels7v4 !t = case t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a4)
_predefined.tupsels7v5 !t = case t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a5)
_predefined.tupsels7v6 !t = case t (_Tuple7 a0 a1 a2 a3 a4 a5 a6 -> a6)
_predefined.tupsels8v0 !t = case t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a0)
_predefined.tupsels8v1 !t = case t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a1)
_predefined.tupsels8v2 !t = case t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a2)
_predefined.tupsels8v3 !t = case t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a3)
_predefined.tupsels8v4 !t = case t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a4)
_predefined.tupsels8v5 !t = case t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a5)
_predefined.tupsels8v6 !t = case t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a6)
_predefined.tupsels8v7 !t = case t (_Tuple8 a0 a1 a2 a3 a4 a5 a6 a7 -> a7)
_predefined.tupsels9v0 !t = case t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a0)
_predefined.tupsels9v1 !t = case t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a1)
_predefined.tupsels9v2 !t = case t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a2)
_predefined.tupsels9v3 !t = case t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a3)
_predefined.tupsels9v4 !t = case t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a4)
_predefined.tupsels9v5 !t = case t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a5)
_predefined.tupsels9v6 !t = case t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a6)
_predefined.tupsels9v7 !t = case t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a7)
_predefined.tupsels9v8 !t = case t (_Tuple9 a0 a1 a2 a3 a4 a5 a6 a7 a8 -> a8)
_predefined.tupsels10v0 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a0)
_predefined.tupsels10v1 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a1)
_predefined.tupsels10v2 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a2)
_predefined.tupsels10v3 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a3)
_predefined.tupsels10v4 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a4)
_predefined.tupsels10v5 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a5)
_predefined.tupsels10v6 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a6)
_predefined.tupsels10v7 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a7)
_predefined.tupsels10v8 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a8)
_predefined.tupsels10v9 !t = case t (_Tuple10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> a9)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment