title:string -> msg:string -> id:string -> UriManager.uri list ->
UriManager.uri list
val interactive_interpretation_choice:
- (string * string) list list -> int list
+ string -> int ->
+ (Token.flocation list * string * string) list list -> int list
val input_or_locate_uri:
- title:string -> ?id:string -> unit -> UriManager.uri
+ title:string -> ?id:string -> unit -> UriManager.uri option
end
let string_of_domain_item = function