Step possible beyond the args of p.div

[fireball-separation.git] / ocaml / num.mli

diff --git a/ocaml/num.mli b/ocaml/num.mli
index f1ea4f843d6ec261f551ee343394077b7e20f8b3..57526a0d9737956718b737b2984fc78061f17636 100644 (file)
--- a/ocaml/num.mli
+++ b/ocaml/num.mli
@@ -8,7 +8,7 @@ type 'nf i_num_var_ =
     | `Var of var ]
 type 'nf nf_ =
     [ `I of var * 'nf Listx.listx
-    | `Lam of bool * 'nf nf_
+    | `Lam of bool * 'nf nf_ * ('nf nf_) list
     | `Match of 'nf i_num_var_ * var * int * (int * 'nf) list ref * 'nf list
     | `N of int
     | `Var of var ]