Module General.Exec_err

type ('value, 'state_err) t = ('value, 'state_err) Gillian.General.Exec_err.t =
  1. | EProc of 'value
    (*

    Incorrect procedure identifier

    *)
  2. | EState of 'state_err
    (*

    Memory Error

    *)
  3. | ECleanUp
  4. | ELeak
  5. | EFailReached of {
    1. fail_code : string;
    2. fail_params : 'value list;
    }
val to_yojson : 'value 'state_err. ('value -> Yojson.Safe.t) -> ('state_err -> Yojson.Safe.t) -> ('value, 'state_err) Gillian.General.Exec_err.t -> Yojson.Safe.t
val of_yojson : 'value 'state_err. (Yojson.Safe.t -> 'value Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'state_err Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> ('value, 'state_err) Gillian.General.Exec_err.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) Gillian.General.Exec_err.t Ppx_deriving_yojson_runtime.error_or
val pp : 'a Fmt.t -> 'b Fmt.t -> Stdlib.Format.formatter -> ('a, 'b) Gillian.General.Exec_err.t -> unit