3 Tests.f :: for all d, e. <Num e> -> <Eq d> -> d -> e
5 /\ t83 t90 -> \ dict.91 dict.84 x.93 ->
6 ((Tests.g t83) t90) dict.91 dict.84 ((== t83) dict.84 x.93 x.93) x.93
7 Tests.g :: for all d, e. <Num e> -> <Eq d> -> Bool -> d -> e
9 /\ t83 t90 -> \ dict.91 dict.84 b.94 x.95 ->
10 (abs t90) dict.91 (((Tests.f t83) t90) dict.91 dict.84 x.95)