Skip to main content

Module union_cancel

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.