val (v1,v2,v3,v4,v5) = (1,2,3,4,5)signature S = sig end;functor F(X:S)(Y:S)(Z:S)=struct val _ = printVal v5 end;structure R = (let val _ = printVal v4 in F end)(val x = printVal v3)(val x = printVal v2)(val x = printVal v1);functor F(X:sig val x:int end)(Y: sig val y:int end)(Z: sig val z:int end)=struct val _ = printVal v5 end;structure R = (let val _ = printVal v4 in F end)(val x = printVal v3)(val y = printVal v2)(val z = printVal v1);signature S = sig val x: int end;functor F(X:S)(Y:S)(Z:S)=struct val _ = printVal v5 end;structure R = (let val _ = printVal v4 in F end) (val x = printVal v3 val y = ())(val x = printVal v2 val y = ())(val x = printVal v1 val y = ());signature S = sig val x: int end;functor F(X:S)(Y:S)(Z:S)=struct val _ = printVal v4 end;functor R = (let val _ = printVal v4 in F end) (val x = printVal v1 val y = ());fun f x y z = printVal v4;f (printVal v1) (printVal v2) (printVal v3);val g = fn x => (fn y => (fn z => printVal v4));g (printVal v1) (printVal v2) (printVal v3);val h = fn x => let in fn y => let in fn z => printVal v4 end end;h (printVal v1) (printVal v2) (printVal v3);val h = fn x => let val x = 1 in fn y => let val x = 2 in fn z => printVal v4 end end;h (printVal v1) (printVal v2) (printVal v3);
val (v1,v2,v3,v4,v5) = (1,2,3,4,5)
signature S = sig end;
functor F(X:S)(Y:S)(Z:S)=struct val _ = printVal v5 end;
structure R = (let val _ = printVal v4 in F end)(val x = printVal v3)(val x = printVal v2)(val x = printVal v1);
functor F(X:sig val x:int end)(Y: sig val y:int end)(Z: sig val z:int end)=struct val _ = printVal v5 end;
structure R = (let val _ = printVal v4 in F end)(val x = printVal v3)(val y = printVal v2)(val z = printVal v1);
signature S = sig val x: int end;
functor F(X:S)(Y:S)(Z:S)=struct val _ = printVal v5 end;
structure R = (let val _ = printVal v4 in F end) (val x = printVal v3 val y = ())(val x = printVal v2 val y = ())(val x = printVal v1 val y = ());
signature S = sig val x: int end;
functor F(X:S)(Y:S)(Z:S)=struct val _ = printVal v4 end;
functor R = (let val _ = printVal v4 in F end) (val x = printVal v1 val y = ());
fun f x y z = printVal v4;
f (printVal v1) (printVal v2) (printVal v3);
val g = fn x => (fn y => (fn z => printVal v4));
g (printVal v1) (printVal v2) (printVal v3);
val h = fn x => let in fn y => let in fn z => printVal v4 end end;
h (printVal v1) (printVal v2) (printVal v3);
val h = fn x => let val x = 1 in fn y => let val x = 2 in fn z => printVal v4 end end;
h (printVal v1) (printVal v2) (printVal v3);