type étendu par union
Contexte
Le type unionT (voir 03-types.def.lazi dans les sources) permet de faire des unions de types. Il est possible, à partir d'un type unionT, d'ajouter des nouveaux types dans l'union.
Définition
Si t est un type unionT, alors u est un type t étendu par union si et seulement si u est égal à t où l'on a ajouter de nouveaux types dans l'union.