blob: d4d6fdf4f7c80453b72c18581b24e926b422b03f (
plain)
1
2
3
4
5
|
val id1 = fn n : int => n
val id2 = fn n => id1 n
val pair1 = fn (t1 ::: Type) (t2 ::: Type) (x1 : t1) (x2 : t2) => (x1, x2)
val pair2 = fn (t1 ::: Type) (t2 ::: Type) (x1 : t1) (x2 : t2) () => pair1 x1 x2
|