package tiny_languages

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

Module Basic_diskSource

Sourcetype file = {
  1. name : string;
  2. dialect : Basic_run.dialect;
  3. lines : string list;
}
Sourceval files : file list
Sourceval guess : string list
Sourceval catalog : file list -> string