#use "noyau.ml";; let fix = let e = let b_ff_x = App (App (Var "b", App (Var "f", Var "f")), Var "x") in Fonction ("f", (Fonction ("x", b_ff_x))) in Fonction ("b", App (e,e));; let pred = Fonction ("x", Prim (plus, [ Var "x"; Const (-1)]));; let fact = let eval [] (Liaison ("pred", pred, App (Var "pred", Const 3)));;