-val set_choose_uris_callback:
- DisambiguateTypes.interactive_user_uri_choice_type -> unit
-
-val set_choose_interp_callback:
- DisambiguateTypes.interactive_interpretation_choice_type -> unit
-
-(** @raise Ambiguous_input if called, default value for internal
- * choose_uris_callback if not set otherwise with set_choose_uris_callback
- * above *)
-val mono_uris_callback: DisambiguateTypes.interactive_user_uri_choice_type
-
-(** @raise Ambiguous_input if called, default value for internal
- * choose_interp_callback if not set otherwise with set_choose_interp_callback
- * above *)
-val mono_interp_callback: DisambiguateTypes.interactive_interpretation_choice_type
-