?hide_uri_entry:bool -> ?hide_try:bool -> ?ok_label:string ->
?ok_action:[`AUTO|`SELECT] ->
?copy_cb:(string -> unit) -> unit ->
- MatitaDisambiguator.choose_uris_callback
+ GrafiteDisambiguator.choose_uris_callback
(** @raise MatitaTypes.Cancel *)
val interactive_interp_choice:
unit ->
- MatitaDisambiguator.choose_interp_callback
+ GrafiteDisambiguator.choose_interp_callback