Auswahl (bedingte Ausdrücke)
SEL
SEL(cond,x1,x2)
Liefert x1, wenn cond falsch ist, und ansonsten x2.
MUX
MUX(select, x0, x1, …, xN)
Liefert x<select>. Wenn select gleich 0 ist, wird x0 zurückgegeben. Wenn select 1 ist, wird x1 zurückgegeben und so weiter. Die Funktion MUX kann eine beliebige Anzahl von Parametern haben, muss aber mindestens zwei haben.
Die Funktion ist überladen für jeden Typ für x<i> und für jeden Integer für select. Der kleinste gemeinsame Typ von x<i> wird als Rückgabetyp verwendet.
 | EINSCHRÄNKUNG: Die Variable |