Module O

module O: sig .. end

PCF objet

module Ast: sig .. end

Lecture des termes PCF + objets, comme S.Reader.

module Reader: sig .. end

module Top: sig .. end

Boucle interactive pour PCF + objets, comme S.Top.