Oper
,
de type (temp * temp list) list
représentant des ensembles de
contraintes entre un registre particulier et un ensemble de registres.
i.e. avoir
type Oper = ... | Oper of string * temp list * temp list * label list option * (temp * temp list) list |
Oper
(i, s, d, l, c).