Module St_debug

type oop = St_memory.oop
type frame = {
  1. ctx : oop;
  2. label : string;
  3. source : string;
  4. highlight : (int * int) option;
}
val frames : ?stepping:bool -> St_interp.vm -> St_interp.process -> frame list
val label : St_interp.vm -> oop -> string
val variables : St_interp.vm -> oop -> (string * oop) list
val fields : St_interp.vm -> oop -> (string * oop) list
val step : St_interp.vm -> St_interp.process -> oop -> unit
val step_into : St_interp.vm -> St_interp.process -> oop -> unit
val restart : St_interp.vm -> St_interp.process -> oop -> bool
val proceed : St_interp.process -> unit
val not_understood : St_interp.vm -> St_interp.process -> (oop * string * oop) option
val template : string -> string