(* example : aintvex6.ml            *)
(* let                              *)
(*   f(x, y) = if x = 0 then 1      *)
(*             else f(x - 1, y) fi; *)
(* in                               *)
(*   f(2, 9999) ;;                  *)

let pr6 =
 ([("f", ([FPVAL("x"); FPVAL("y")],
          IF( (EQUAL ((VAR "x"), (CST "0"))),
              ((CST "1"),
                CALL("f", 
                    [SUB((VAR "x"), (CST "1"));
                     (VAR "y") ]))) ))
  ]
 ,
  CALL("f", [(CST "2") ;(CST "9999")])
 );;
 
evalprog pr6;;