(* example : aintvex7.ml                 *)
(* let                                   *)
(*   f(x, y) = if x = 0 then 1           *)
(*             else f(x -1, f(x, y)) fi; *)
(* in                                    *)
(*   f(1, "inutile d'evaluer") ;;        *)

let pr7 =
 ([("f", ([FPVAL("x"); FPVAL("y")],
          IF( (EQUAL ((VAR "x"), (CST "0"))),
              ((CST "1"),
                CALL("f", 
                    [SUB((VAR "x"), (CST "1"));
                     CALL("f", [(VAR "x"); (VAR "y")]) ]))) ))
  ]
 ,
  CALL("f", [(CST "1") ;(CST "inutile d'evaluer")])
 );;
 
evalprog pr7;;