Skip to main content

Module union_cancel

mz_transform

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