* compiler) *)
exception Ambiguous_input
-type choose_uris_callback = id:string -> string list -> string list
+type choose_uris_callback = id:string -> UriManager.uri list -> UriManager.uri list
type choose_interp_callback = (string * string) list list -> int list
val set_choose_uris_callback: choose_uris_callback -> unit
(** for GUI callbacks see MatitaGui.interactive_{interp,user_uri}_choice *)
include Disambiguate.Disambiguator
- (*
- * val disambiguate_term: ...
- *)
-