2 Test.f :: for all d, e. <Ord e> -> <Num e> -> d -> e
4 /\ o79 t102 -> \ dict.103 dict.104 x.107 ->
7 /\ t108 -> \ dict.109 dict.110 ->
8 let dict.111 = dict.110 in
9 let dict.112 = dict.111 in
10 let dict.113 = dict.112 in
11 let dict.114 = dict.113 in
12 let dict.115 = dict.114 in
13 let dict.116 = dict.109
18 case ((< t108) dict.116 y.118 z.119) of {
24 dict.115 (MkInteger! 0##))
26 dict.114 (MkInteger! 1##))
28 case ((> t108) dict.109 y.118 z.119) of {
34 dict.113 (MkInteger! 1##))
36 dict.112 (MkInteger! 2##))
42 dict.111 (MkInteger! 2##))
44 dict.110 (MkInteger! 3##))
49 MkTuple2 y.120 z.121 -> y.120
53 MkTuple2 y.122 z.123 -> z.123
56 in MkTuple2! t108 t108 y.118 z.119 in
59 /\ t125 -> \ dict.126 dict.127 ->
60 case ((ds.124 t125) dict.126 dict.127) of {
61 MkTuple2 y.128 z.129 -> y.128
65 /\ t131 -> \ dict.132 dict.133 ->
66 case ((ds.124 t131) dict.132 dict.133) of {
67 MkTuple2 y.134 z.135 -> z.135
69 in (y.130 t102) dict.103 dict.104