disambiguation even more abstracted

[helm.git] / helm / software / components / lexicon / disambiguatePp.mli

diff --git a/helm/software/components/lexicon/disambiguatePp.mli b/helm/software/components/lexicon/disambiguatePp.mli
index e8d9b94a46eb8be8e802b984056d87085775350e..e85a284437cd385b11747f31ba8611da3c7193ee 100644 (file)
--- a/helm/software/components/lexicon/disambiguatePp.mli
+++ b/helm/software/components/lexicon/disambiguatePp.mli
@@ -24,7 +24,8 @@
  *)
 
 val aliases_of_domain_and_codomain_items_list:
-  (DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list ->
+  (DisambiguateTypes.domain_item * 
+   Cic.term DisambiguateTypes.codomain_item) list ->
     LexiconAst.alias_spec list
 
-val pp_environment: DisambiguateTypes.environment -> string
+val pp_environment: Cic.term DisambiguateTypes.environment -> string