package tiny_languages

  1. Overview
  2. Docs

Module Scheme_stepSource

Sourcetype step = {
  1. before : string;
  2. redex : int * int;
  3. after : string;
  4. contractum : int * int;
}
Sourceval steps : ?max:int -> string -> step list * string option