Outcome (gillian.Bulk.Runner.Make.Backend.Outcome)

module Val : Gillian.General.Val.S

module ESubst : 
  Gillian.General.ESubst.S with type vt = Val.t and type t = Val.et

module Store : Gillian.General.Store.S with type vt = Val.t

module State : sig ... end

module ParserAndCompiler : 
  Gillian.Command_line.ParserAndCompiler.S
    with type init_data = State.init_data

module External : Engine.External.T(ParserAndCompiler.Annot).S

type exec_res =
  (State.t, Val.t, (Val.t, State.err_t) Gillian.General.Exec_err.t)
    Engine.Exec_res.t
    list

type t = exec_res Gillian.Utils.Gillian_result.t

val pp_what_test_did : Stdlib.Format.formatter -> t -> unit

val pp_what_branch_did : 
  Stdlib.Format.formatter ->
  (State.t, Val.t, (Val.t, State.err_t) Gillian.General.Exec_err.t)
    Engine.Exec_res.t ->
  unit