Function awint_internals::assert_inlawi_invariants

pub const fn assert_inlawi_invariants<const BW: usize, const LEN: usize>()

Checks that the BW and LEN values are valid for an InlAwi.

Panics

If BW == 0, LEN < 2, or the bitwidth is outside the range (((LEN - 2)*BITS) + 1)..=((LEN - 1)*BITS)