implemented interface for gTopLevel

[helm.git] / helm / ocaml / cic_disambiguation / disambiguate_types.mli

diff --git a/helm/ocaml/cic_disambiguation/disambiguate_types.mli b/helm/ocaml/cic_disambiguation/disambiguate_types.mli
index 525a7e33f8a1f1bb044d4e00190e7b0f6d0b25f5..a8dda6c39b66c53057e273532a1c0f9cf8aa6039 100644 (file)
--- 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
+