Module mz_transform::union_cancel
source · Expand description
Detects an input being unioned with its negation and cancels them out
Structs
Detects an input being unioned with its negation and cancels them out
Enums
Result of the comparison of two branches of a union for cancellation
purposes.