ExplainErr
exception
EvaluatedError of Pp.t * exn option
Toplevel Exception
val process_vernac_interp_error : ?allow_uncaught:bool -> Util.iexn -> Util.iexn
val explain_exn_default : exn -> Pp.t
val register_additional_error_info : (Util.iexn -> Pp.t option Loc.located option) -> unit