Macro typenum::assert_type

[−] Show declaration

macro_rules! assert_type {
    ($a:ty) => { ... };
}

[−] Expand description

Asserts that a type is True, aka B1.