Moved env_of_sigma to Pure

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

diff --git a/ocaml/pure.mli b/ocaml/pure.mli
index 1b60c09d269ca93716450608bcc7c6d4e4a2ff37..9b683b33530ccadf28c87ad43dcb7af137e85541 100644 (file)
--- a/ocaml/pure.mli
+++ b/ocaml/pure.mli
@@ -6,6 +6,7 @@ module Pure :
     val mwhd : (('a * t * ('b list as 'c) as 'b) list as 'a) * t * 'c -> t
     val omega : bool -> t
     val diverged : t -> bool
+    val env_of_sigma : int -> (int * t) list -> (('a * t * ('b list as 'c) as 'b) list as 'a)
   end
 
 module Scott :