Trait Xor
verified::bool
pub trait Xor: Bool { }
impl Xor for BinOp<False, True>
impl Xor for BinOp<True, False>