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