cons_cell 0.1.0

Swiss knife for heterogenous containers
Documentation
use typenum::{Bit, False, True};

pub trait AndSwitch<A> {
    type Value: Bit;
}

impl AndSwitch<True> for True {
    type Value = True;
}

impl AndSwitch<True> for False {
    type Value = False;
}

impl AndSwitch<False> for True {
    type Value = False;
}

impl AndSwitch<False> for False {
    type Value = False;
}