Il suffit de vérifier que le code suivant est bien typé.
module Typecheck (P : POLYNOME) : ANNEAU = P;;