Module Pmachine

val run : Pcode.program -> unit Talk.talk
val execute : string -> string list -> string
type machine
type stop =
  1. | Halted
  2. | Paused
  3. | Slice_over
  4. | Need_line
  5. | Need_random of int
  6. | Failed of int * string
val start : Pcode.program -> machine
val resume : ?pause:(machine -> bool) -> machine -> int -> stop
val give_line : machine -> string -> unit
val give_random : machine -> int -> unit
val output : machine -> string
val pc : machine -> int
val sp : machine -> int
val mp : machine -> int
val word : machine -> int -> int
val executed : machine -> int