Module Error.Diagnostic

val to_loc : Charon.Meta.loc -> int * int
val replace_subpath_opt : string -> string -> string -> string option
val as_ranges : Charon.Meta.span_data -> Grace.Range.t list
val print_diagnostic_simple : severity:Grace.Diagnostic.Severity.t -> string -> unit
val print_diagnostic : fname:string -> error:with_trace -> unit
val warn_trace_once : reason:warn_reason -> with_trace -> unit