Type Definition typenum::True

pub type True = B1;