Dans

Sémantique

Définition du critère d'un cas particulier de la partie polymorphique d'un type...

Définition d'une contrainte sur un type de base...

Opérateur de comparaison...

Définition du critère d'un cas particulier d'un éclatement...

Traduction

---------