(** {2 Disambiguation interface} *)
+(* the integer is an offset to be added to each location *)
exception NoWellTypedInterpretation of
- (Token.flocation option * string Lazy.t) list
+ int * (Token.flocation option * string Lazy.t) list
exception PathNotWellFormed
val interpretate_path :