X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fpure.mli;h=9b683b33530ccadf28c87ad43dcb7af137e85541;hb=18e8638888e5e47d755a6c7c4bff37a1a6ec026b;hp=1b60c09d269ca93716450608bcc7c6d4e4a2ff37;hpb=5a57b32e5e068d05c1feb7455861bc8d5e4bd05a;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 :