Listenelement

Mit dem Listenelement "list" können mehrere Objekte zu einem Objekt zusammengefügt werden. Dabei wird eine Ausführungsreihenfolge festgelegt, um im Falle einer Überdeckung der Unterobjekte zu gewährleisten, dass immer dieselben Unterobjekte die selben anderen Unterobjekte überdecken und dies z. B. nicht immer wechselt (wegen der Eindeutigkeit von Fib-Objekten).

Syntax: $Obj = list( Obj_1, \ldots, Obj_n)$

Kurzsyntax: $Obj = l( Obj_1, \ldots, Obj_n )$

$Obj_i$ sind die Arme/Zweige des Listenobjekts, mit $i \in\{1, \ldots ,n\}$ und $n \geq 2$ (das Listenelement muss mindestens zwei Unterobjekte enthalten). Dabei wird das $Obj_i$ vor $Obj_{i+1}$ ausgewertet und $Obj_{i+1}$ überdeckt $Obj_{i}$ somit eventuell.