Module eliminate_one_union

Module eliminate_one_union 

Source
Expand description

EliminateOneUnion eliminates single element Union

Structsยง

EliminateOneUnion
An optimization rule that eliminates union with one element.