X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fpure.mli;h=9b683b33530ccadf28c87ad43dcb7af137e85541;hb=276d4f75cbe40801f2d9faa82ac82d1c82204e55;hp=1b60c09d269ca93716450608bcc7c6d4e4a2ff37;hpb=417e6bbe7973c9413216a87dff01f920d39e4657;p=fireball-separation.git

diff --git a/ocaml/pure.mli b/ocaml/pure.mli
index 1b60c09..9b683b3 100644
--- 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 :