Entre

Sémantique

Définition du critère d'un cas de la partie générique d'un type sous forme d'un intervalle...

Définition du critère d'un cas d'un éclatement sous forme d'un intervalle...

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

Opérateur de comparaison...

Traduction

---------