X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fpure.mli;h=1b60c09d269ca93716450608bcc7c6d4e4a2ff37;hb=refs%2Fheads%2Fmaster;hp=a6b90acf7e16c6be71967352756223cbefb70f6d;hpb=0aaa773167c006689b00b9ff25f867ccbb1caa32;p=fireball-separation.git

diff --git a/ocaml/pure.mli b/ocaml/pure.mli
index a6b90ac..1b60c09 100644
--- a/ocaml/pure.mli
+++ b/ocaml/pure.mli
@@ -3,8 +3,9 @@ module Pure :
     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
     val mwhd : (('a * t * ('b list as 'c) as 'b) list as 'a) * t * 'c -> t
+    val omega : bool -> t
+    val diverged : t -> bool
   end
 
 module Scott :