type choose_uris_callback = id:string -> UriManager.uri list -> UriManager.uri list
type choose_interp_callback =
string -> int -> (Token.flocation list * string * string) list list ->
type choose_uris_callback = id:string -> UriManager.uri list -> UriManager.uri list
type choose_interp_callback =
string -> int -> (Token.flocation list * string * string) list list ->