+ (** {3 disambiguator callbacks} *)
+
+type choose_uris_callback =
+ selection_mode:[ `MULTIPLE | `SINGLE ] ->
+ ?title:string ->
+ ?msg:string -> ?nonvars_button:bool -> string list -> string list
+
+type choose_interp_callback = (string * string) list list -> int list
+
+ (** @raise Failure if called, use if unambiguous input is required *)
+val mono_uris_callback: choose_uris_callback
+ (** @raise Failure if called, use if unambiguous input is required *)
+val mono_interp_callback: choose_interp_callback
+
+(** {2 major matita objects} *)
+