* http://helm.cs.unibo.it/
*)
+ (** for debugging only *)
+val all_disambiguation_passes: bool ref
+
(** singleton instance of the gui *)
val instance: unit -> MatitaGuiTypes.gui
?hide_uri_entry:bool -> ?hide_try:bool -> ?ok_label:string ->
?ok_action:[`AUTO|`SELECT] ->
?copy_cb:(string -> unit) -> unit ->
- GrafiteDisambiguator.choose_uris_callback
+ id:'a -> UriManager.uri list -> UriManager.uri list
(** @raise MatitaTypes.Cancel *)
val interactive_interp_choice:
unit ->
- GrafiteDisambiguator.choose_interp_callback
+ DisambiguateTypes.interactive_interpretation_choice_type