2009-05-05T19:19:22 moritz

Wenn du none(...)*any(...) bildest, dann wird daraus eine none-Junction, in der Any-Junctions stehen, deren Werte die Produkte sind. Allerdings kann man Junctions, die aus verschiedenen Typen bestehen, nicht abflachen.

Das ist dann kommutativ,oder?

also none(...) * any(...) entspricht any(...) * none(...) ?

Wahrscheinlich immer analog zur Operation? Also weil * kommutativ ist wird die Operation auf Junctions auch kommutativ?