S (gillian.Bulk.Outcome.S)

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 : 
  Command_line.ParserAndCompiler.S with type init_data = State.init_data

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

type t =

| ParseAndCompileError of ParserAndCompiler.err
| FailedExec of string
| FinishedExec of (State.t, Val.t, (Val.t, State.err_t) Gillian.General.Exec_err.t) Engine.Exec_res.t list

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