X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate_types.mli;h=a8dda6c39b66c53057e273532a1c0f9cf8aa6039;hb=6f7dbdfa37be6a1135df8169557eab5c92c485e2;hp=525a7e33f8a1f1bb044d4e00190e7b0f6d0b25f5;hpb=358d1d55044347255aacb8daf03de0dbb18bc668;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguate_types.mli b/helm/ocaml/cic_disambiguation/disambiguate_types.mli
index 525a7e33f..a8dda6c39 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate_types.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguate_types.mli
@@ -54,3 +54,13 @@ module type Callbacks =
 val string_of_domain_item: domain_item -> string
 val string_of_domain: Domain.t -> string
 
+(**/**)
+
+module EnvironmentP3:
+  sig
+    type t = environment
+    val empty : string
+    val to_string : t -> string
+    val of_string : string -> t
+  end
+