(** {2 Disambiguation interface} *)
-exception NoWellTypedInterpretation
+exception NoWellTypedInterpretation of string Lazy.t list
exception PathNotWellFormed
val interpretate_path :
module Trivial:
sig
- exception Ambiguous_term of string
+ exception Ambiguous_term of string Lazy.t
(** disambiguate an _unanmbiguous_ term using dummy callbacks which fail if a
* choice from the user is needed to disambiguate the term