package tiny_languages

  1. Overview
  2. Docs
package tiny_languages
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module PmachineSource

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