type_level_logic::strong::boolean

Trait BoolAnd

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

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

Required Associated Types§

Source

type Output: Bool

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§