Module Gillian_result.Error

type analysis_failure = {
  1. msg : string;
  2. loc : Location.t option;
}
type compilation_error = {
  1. msg : string;
  2. loc : Location.t option;
  3. additional_data : Yojson.Safe.t option;
}
type internal_error = {
  1. msg : string;
  2. backtrace : string option;
  3. additional_data : Yojson.Safe.t option;
}
type t =
  1. | AnalysisFailures of analysis_failure list
  2. | CompilationError of compilation_error
  3. | OperationError of string
    (*

    Handled failure unrelated to analysis, e.g. unable to read input file

    *)
  4. | InternalError of internal_error
    (*

    Something went very wrong!

    *)
val pp : Stdlib.Format.formatter -> t -> unit
val show : t -> string
val to_error_code : t -> int