fun f (x : int) : int * int is
    <x,x>
end
 7 : int * int
Press return:
<x,x> has no type.

 bind <x:int, y:int> to <3,4> in bind <a:int, x:int> to <y, 3> in a + x; 
bind <x : int,y : int> to <3,4> in bind <a : int,x : int> to <y,3> in a + x : int
Press return:
bind x : int to 3 in bind y : int to 4 in bind <a : int,x : int> to <y,3> in a + x : int
Press return:
bind y : int to 4 in bind <a : int,x : int> to <y,3> in a + x : int
Press return:
bind <a : int,x : int> to <y,3> in a + x has no type.

MinML> bind <w : unit,<x : int,y : int>> to <<>,<3,4>> in bind <_,<a : int,x : int>> to <true,<y,3>> in a + x : int
Press return:
bind w : unit to <> in bind <x : int,y : int> to <3,4> in bind <_,<a : int,x : int>> to <true,<y,3>> in a + x : int
Press return:
bind <x : int,y : int> to <3,4> in bind <_,<a : int,x : int>> to <true,<y,3>> in a + x : int
Press return:
bind x : int to 3 in bind y : int to 4 in bind <_,<a : int,x : int>> to <true,<y,3>> in a + x : int
Press return:
bind y : int to 4 in bind <_,<a : int,x : int>> to <true,<y,3>> in a + x : int
Press return:
bind <_,<a : int,x : int>> to <true,<y,3>> in a + x has no type.
Press return:

( fun f(x:int):int is bind x:int to x in x end ) (7);
fun f (x : int) : int is
    bind x : int to x in x
end
 7 : int
Press return:
bind x : int to x in x has no type.
Press return: