Inspect (gillian.Debugger.Symbolic_debugger.Make.Inspect)

type debug_state_view

val debug_state_view_to_yojson : debug_state_view -> Yojson.Safe.t

val debug_state_view_of_yojson : 
  Yojson.Safe.t ->
  debug_state_view Ppx_deriving_yojson_runtime.error_or

val get_debug_state : t -> debug_state_view

val get_match_map : 
  Gillian.Logging.Report_id.t ->
  t ->
  Gillian.Debugger.Utils.Match_map.t