Macro verified::assert_type

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

Asserts that a type is True, aka B1.