int * (Token.flocation option * string Lazy.t) list list
type choose_uris_callback = id:string -> UriManager.uri list -> UriManager.uri list
-type choose_interp_callback = (string * string) list list -> int list
+type choose_interp_callback =
+ string -> int -> (Token.flocation list * string * string) list list ->
+ int list
val set_choose_uris_callback: choose_uris_callback -> unit
val set_choose_interp_callback: choose_interp_callback -> unit