Exec_res (gillian.Engine.Exec

type ('state, 'value, 'err) t =

| RFail of {
1. proc : string;
2. proc_idx : int;
3. error_state : 'state;
4. errors : 'err list;
}
| RSucc of {
1. flag : Gillian.Gil_syntax.Flag.t;
2. ret_val : 'value;
3. final_state : 'state;
4. last_report : Gillian.Logging.Report_id.t option;
}

val to_yojson : 
  'state 'value 'err. ('state -> Yojson.Safe.t) ->
  ('value -> Yojson.Safe.t) ->
  ('err -> Yojson.Safe.t) ->
  ('state, 'value, 'err) t ->
  Yojson.Safe.t

val of_yojson : 
  'state 'value 'err. (Yojson.Safe.t ->
                        'state Ppx_deriving_yojson_runtime.error_or) ->
  (Yojson.Safe.t -> 'value Ppx_deriving_yojson_runtime.error_or) ->
  (Yojson.Safe.t -> 'err Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  ('state, 'value, '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 -> 'c Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  ('a, 'b, 'c) t Ppx_deriving_yojson_runtime.error_or

val pp : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  (Stdlib.Format.formatter -> 'b -> unit) ->
  'c Fmt.t ->
  Stdlib.Format.formatter ->
  ('a, 'b, 'c) t ->
  unit

val pp_what_exec_did : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  'b Fmt.t ->
  Stdlib.Format.formatter ->
  ('c, 'a, 'b) t ->
  unit