Restriction de types complexes


Construction d'un nouveau type complexe en supprimant des composants à un type complexe existant

Comparable à la restriction de types simples : les valeurs du nouveau type constituent un sous-ensemble des valeurs du type de base

La restriction doit répéter explicitement tous les composants du type de base qui sont conservés