Logging (gillian.Debugger_lifter.Gil_fallback_lifter.Make.TLLifter.V.SAInterpreter.Logging)

module ConfigReport : sig ... end

module CmdResult : sig ... end

val pp_err : 
  Stdlib.Format.formatter ->
  (vt, state_err_t) Gillian.General.Exec_err.t ->
  unit

val pp_result : Stdlib.Format.formatter -> result_t list -> unit