package tiny_languages

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

Module PdebugSource

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