Module union_cancel

Source
Expand description

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

Structs§

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

Enums§

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