X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.mli;h=89d52901532e359ce463d11ecd526c6e29aa3480;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=6146a082ddc9548db5bea3f89271862b77fad5e8;hpb=10be6b9fb25a5bcd8721f707beba4b8a125591b5;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index 6146a082d..89d529015 100644
--- 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
 
@@ -45,7 +48,8 @@ module type Callbacks =
       selection_mode:[`SINGLE | `MULTIPLE] ->
       ?ok:string ->
       ?enable_button_for_non_vars:bool ->
-      title:string -> msg:string -> id:string -> string list -> string list
+      title:string -> msg:string -> id:string -> UriManager.uri list ->
+       UriManager.uri list
 
       val interactive_interpretation_choice :
       (string * string) list list -> int list