X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FgTopLevel%2FoldDisambiguate.mli;h=372f50085e317be663c75bb5ded0d88e0888955c;hb=b38de2d3fa8bbe346c59c18bbeb889f29e493f63;hp=242b3102aa001f1a56f1f16e7451bf15b06fd68c;hpb=12809955a4a6c693072f5b924603165f83cc382e;p=helm.git

diff --git a/helm/gTopLevel/oldDisambiguate.mli b/helm/gTopLevel/oldDisambiguate.mli
index 242b3102a..372f50085 100644
--- a/helm/gTopLevel/oldDisambiguate.mli
+++ b/helm/gTopLevel/oldDisambiguate.mli
@@ -65,3 +65,11 @@ module Make (C : Callbacks) :
         id_to_uris:domain_and_interpretation ->
         domain_and_interpretation * Cic.metasenv * Cic.term
     end
+
+module EnvironmentP3 :
+ sig
+  type t = domain_and_interpretation
+  val empty : string
+  val to_string : t -> string
+  val of_string : string -> t
+ end