typenum
macro_rules! assert_type { ($a:ty) => { ... }; }
Asserts that a type is True, aka B1.
True
B1