2 Tests.f :: for all d, e. <Num e> -> d -> e
4 /\ o81 t82 -> \ dict.101 ->
5 let dict.99 = dict.101 in
6 let dict.97 = dict.99 in
7 let dict.94 = dict.97 in
8 let dict.91 = dict.94 in
9 let dict.89 = dict.91 in
10 let dict.87 = dict.89 in
11 let dict.85 = dict.87 in
12 let dict.83 = dict.85 in
22 ((fromInteger t82) dict.89 (MkInteger! 1##))
23 ((fromInteger t82) dict.91 (MkInteger! 2##)))
24 ((fromInteger t82) dict.94 (MkInteger! 3##)))
27 ((fromInteger t82) dict.99 (MkInteger! 4##))
28 ((fromInteger t82) dict.101 (MkInteger! 5##)))
30 Tests.g :: for all d. <Num d> -> d -> d
32 /\ t110 -> \ dict.111 ->
33 let dict.108 = dict.111 in
37 (+ t110) dict.108 x.64 (((Tests.f t110) t110) dict.111 x.64)
39 Tests.h :: for all d, e. <Num e> -> d -> e
41 /\ o115 t120 -> \ dict.121 ->
42 let dict.119 = dict.121 in
43 let dict.117 = dict.119 in
52 111111111111111111111111111111111111111111111111111111111111##))
56 222222222222222222222222222222222222222222222222222222222222##))