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;
}