(* example : aintvex4.ml *)
(* let                   *)
(*   f(x, y) = x + y;    *)
(*   g(x)    = f(x, x);  *)
(* in                    *)
(*   g(1) ;;             *)

let pr4 =
      ([("f", ( [(FPVAL "x"); (FPVAL "y")], 
              (ADD ((VAR "x"),(VAR "y")))));
        ("g", ( [(FPVAL "x")],
                  (CALL ("f",[(VAR "x"); (VAR "x")]))))],
       (CALL ("g",[(CST "1")])) ) ;;

evalprog pr4;;