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