Algorithms.BF.QuantumIf
data Boolean a
data BooleanAnd a
booleanToAnd'
stripDoubleNot
booleanToAnd
booleanAnd'
booleanAnd
if_then_elseQinv
if_then_elseQ