Module T


module T: sig .. end
PCF explicitement typé

module Type: sig .. end
Types des types
module Ast: sig .. end
Les termes de la syntaxe abstraite typée
module Reader: sig .. end
Lecteur des termes de PCF typé, comme S.Reader
module Top: sig .. end
Boucle interactive pour PCF typé, voir aussi S.Top