X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fpure.mli;h=a6b90acf7e16c6be71967352756223cbefb70f6d;hb=3f5fd50fbe0c585e1d9aad84007fdbd82c573fa7;hp=f36007498ca1556eeb20708641560cef3b725cc3;hpb=e4aa4a66dd0a4946607245a0f43eab803f2770c4;p=fireball-separation.git

diff --git a/ocaml/pure.mli b/ocaml/pure.mli
index f360074..a6b90ac 100644
--- a/ocaml/pure.mli
+++ b/ocaml/pure.mli
@@ -1,6 +1,6 @@
 module Pure :
   sig
-    type t = V of int | A of t * t | L of t
+    type t = V of int | A of t * t | L of t | B
     val print : ?l:string list -> t -> string
     val lift : int -> t -> t
     val unwind : ?tbl:('a list * t * 'a list as 'a, t) Hashtbl.t -> 'a -> t