Module Error.Diagnostic

val to_loc : Cerb_position.t -> int * int
val as_ranges : Cerb_location.t -> Grace.Range.t list
val print_diagnostic : fid:string -> call_trace:Cerb_location.t Soteria.Terminal.Call_trace.t -> error:t -> unit
val extract_location : Cerb_location.t -> (string * int * int) option
val to_json : fid:Ppx_deriving_runtime.string -> call_trace:Cerb_location.t Soteria.Terminal.Call_trace.element list -> error:t -> [> `Assoc of (string * [> `Int of int | `String of Ppx_deriving_runtime.string ]) list ]