Module union

Fuses multiple Union operators into one.

Nested negated unions are merged into the parent one by pushing the Negate to all their branches.

Structs

UnionNegateFusion

Fuses Union and Negate operators into one Union and multiple Negate operators.