...

multipar.lus

+
+(* Verif des static args *)
+
+node bok(x:int)returns(y:int);
+let
+   y = (x * (x + 1)) / 2;
+tel 
+
+node sil<<
+   node f(x:int)returns(y:int)
+>>(x:int)returns(y:int); 
+let
+   y = x + f<<bok>>(x);
+tel
+
+node lis<<
+   node g(x:int)returns(y:int)
+>>(x:int)returns(y:int); 
+let
+   y = x * g(x);
+tel
+
+
+node gup(x: int) returns (y:int);
+let
+   y = 2 * sil<< lis >>(x);
+tel

rundbg

 #!/bin/bash
 make dc
-readline-editor ocamldebug  -I objlinux ./objlinux/lus2lic $*
+OBJDIR=./obj$HOSTTYPE
+readline-editor ocamldebug  -I $OBJDIR $OBJDIR/lus2lic $*

sargs.lus

+
+(* Verif des static args *)
+
+
+node pluton<<const n:int>>(x: int) returns (y:int);
+let
+   y = n + x;
+tel
+
+node saturne(x: int) returns (y:int);
+let
+   y = 2 * pluton<<42.0>>(x);
+tel