title:string -> msg:string -> id:string -> string list -> string list
val interactive_interpretation_choice :
(string * string) list list -> int list
- val input_or_locate_uri : title:string -> UriManager.uri
+ val input_or_locate_uri : title:string -> ?id:string -> UriManager.uri
end
;;
[] ->
[UriManager.string_of_uri
(C.input_or_locate_uri
- ~title:("URI matching \"" ^ id ^ "\" unknown."))]
+ ~title:("URI matching \"" ^ id ^ "\" unknown.") ~id)]
| [uri] -> [uri]
| _ ->
C.interactive_user_uri_choice