package tiny_languages

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

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