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 -> ?id:string -> UriManager.uri
+ val input_or_locate_uri : title:string -> ?id:string -> unit -> UriManager.uri
end
type domain_and_interpretation =