Big commit and major code clean-up:

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

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index 6146a082ddc9548db5bea3f89271862b77fad5e8..bd9ba5e99e9b0db8eef4fc05073277d06ff01b04 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -38,6 +38,9 @@ type codomain_item =
 
 and environment = codomain_item Environment.t
 
+(* a simple case of extension of a disambiguation environment *)
+val env_of_list: (string * string * Cic.term) list -> environment -> environment
+
 module type Callbacks =
   sig