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