| Symbol of string * int (* literal, instance num *)
| Num of int (* instance num *)
-exception Invalid_choice of string Lazy.t
+exception Invalid_choice of Stdpp.location option * string Lazy.t
module OrderedDomain =
struct
UriManager.uri list
val interactive_interpretation_choice:
string -> int ->
- (Token.flocation list * string * string) list list -> int list
+ (Stdpp.location list * string * string) list list -> int list
val input_or_locate_uri:
title:string -> ?id:string -> unit -> UriManager.uri option
end