Module S


module S: sig .. end
PCF simple

Il y a trois sous-modules S.Ast (définition des termes de PCF), S.Reader (définition des lecteurs de termes), et S.Top (pour fabriquer une boucle interactive, du genre de celle de ocaml


module Ast: sig .. end
Types des arbres de syntaxe abstraite
module Reader: sig .. end
Lecture des termes PCF
module Top: sig .. end
Boucle interactive pour PCF