X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fnum.mli;h=57526a0d9737956718b737b2984fc78061f17636;hb=47a9f6a73ecea5a2e60932ce324e21f4a90315c2;hp=f1ea4f843d6ec261f551ee343394077b7e20f8b3;hpb=5a57b32e5e068d05c1feb7455861bc8d5e4bd05a;p=fireball-separation.git

diff --git a/ocaml/num.mli b/ocaml/num.mli
index f1ea4f8..57526a0 100644
--- 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 ]