Module S

module S: sig .. end

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

module Reader: sig .. end

module Top: sig .. end