Module Pdebug

val procedure_at : Pcode.program -> int -> int
val line : Pcode.program -> Pmachine.machine -> int
type frame = {
  1. procedure : int;
  2. base : int;
  3. return_address : int;
}
val frames : Pcode.program -> Pmachine.machine -> frame list
val call : Pcode.program -> Pmachine.machine -> frame -> string
val watch : Pcode.program -> Pmachine.machine -> string -> string
type step =
  1. | Trace_into
  2. | Step_over
  3. | To_line of int
  4. | Continue of int list
val pause_for : Pcode.program -> step -> Pmachine.machine -> Pmachine.machine -> bool