Trait And 

pub trait And<Rhs> {
    type Result: Bool;
}

Type-level boolean AND.

Examples

use reflect_nat::{True, False, And, Bool};

assert!( <<True as And<True>>::Result as Bool>::to_bool());
assert!(!<<True as And<False>>::Result as Bool>::to_bool());

Required Associated Types

type Result: Bool

The result of Self && Rhs.

Implementors

impl And<False> for False

type Result = False

impl And<False> for True

type Result = False

impl And<True> for False

type Result = False

impl And<True> for True

type Result = True