type interactive_interpretation_choice_type = string -> int ->
(Stdpp.location list * string * string) list list -> int list
type input_or_locate_uri_type =
type interactive_interpretation_choice_type = string -> int ->
(Stdpp.location list * string * string) list list -> int list
type input_or_locate_uri_type =