Trait type_level_logic::strong::boolean::BoolAnd

pub trait BoolAnd<B: Bool>: Bool {
    type Output: Bool;
}

Boolean And. Use as And<X, Y> or <X as BoolAnd<Y>>::Output.

Associated Types

type Output: Bool

Implementors

• impl BoolAnd<False> for False
• impl BoolAnd<True> for False
• impl BoolAnd<False> for True
• impl BoolAnd<True> for True