Macro aint::u31

macro_rules! u31 {
    ($val:literal) => { ... };
}

Returns a u31 checked at compile time.

Example

let x = u31!(0);
assert_eq!(x.repr(), 0);