Module Engine.StateErr

type ('mem_err, 'value) t =
  1. | EMem of 'mem_err
    (*

    Memory error, depends on instantiation

    *)
  2. | EType of 'value * Gillian.Gil_syntax.Type.t option * Gillian.Gil_syntax.Type.t
    (*

    Incorrect type, depends on value

    *)
  3. | EPure of Gillian.Gil_syntax.Formula.t
  4. | EVar of Gillian.Gil_syntax.Var.t
  5. | EAsrt of 'value list * Gillian.Gil_syntax.Formula.t * Gillian.Gil_syntax.Asrt.t list list
  6. | EOther of string
val to_yojson : 'mem_err 'value. ('mem_err -> Yojson.Safe.t) -> ('value -> Yojson.Safe.t) -> ('mem_err, 'value) t -> Yojson.Safe.t
val of_yojson : 'mem_err 'value. (Yojson.Safe.t -> 'mem_err Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'value Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> ('mem_err, 'value) t Ppx_deriving_yojson_runtime.error_or
val _ : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> ('a, 'b) t Ppx_deriving_yojson_runtime.error_or
val pp : 'mem_err 'value. (Ppx_deriving_runtime.Format.formatter -> 'mem_err -> Ppx_deriving_runtime.unit) -> (Ppx_deriving_runtime.Format.formatter -> 'value -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> ('mem_err, 'value) t -> Ppx_deriving_runtime.unit
val show : 'mem_err 'value. (Ppx_deriving_runtime.Format.formatter -> 'mem_err -> Ppx_deriving_runtime.unit) -> (Ppx_deriving_runtime.Format.formatter -> 'value -> Ppx_deriving_runtime.unit) -> ('mem_err, 'value) t -> Ppx_deriving_runtime.string
val get_recovery_tactic : ('a, 'b) t list -> ('a -> 'b Recovery_tactic.t) -> 'b Recovery_tactic.t
val pp_err : (Stdlib.Format.formatter -> 'a -> unit) -> (Stdlib.Format.formatter -> 'b -> unit) -> Stdlib.Format.formatter -> ('a, 'b) t -> unit
val can_fix : ('a -> bool) -> ('a, 'b) t -> bool
val get_failing_constraint : ('a, 'b) t -> ('a -> Gillian.Gil_syntax.Formula.t) -> Gillian.Gil_syntax.Formula.t