Module mz_transform::union_cancel

source ·
Expand description

Detects an input being unioned with its negation and cancels them out

Structs§

Enums§

  • BranchCmp 🔒
    Result of the comparison of two branches of a union for cancellation purposes.