1 type void = unit (* empty type *)
5 (function v -> assert false)
9 (function v -> assert false)
17 (function p -> (function u ->
24 (function p -> (function u ->
35 (function f -> (function p ->
37 Pair(t,t1) -> (f t t1))
42 (function f -> (function p ->
44 Pair(t,t1) -> (f t t1))
68 (function f -> (function f1 -> (function s ->
76 (function f -> (function f1 -> (function s ->
89 (function p -> (function f -> (function o ->
97 (function p -> (function f -> (function o ->