Function awint_internals::assert_inlawi_invariants_slice

pub const fn assert_inlawi_invariants_slice<const BW: usize, const LEN: usize>(
    raw: &[usize]
)

Checks that a raw slice for InlAwi construction is correct. Assumes that assert_inlawi_invariants has already been run to check the correctness of the BW and LEN values.

Panics

If raw.len() != LEN, the bitwidth digit is zero, or the bitwidth is outside the range (((LEN - 2)*BITS) + 1)..=((LEN - 1)*BITS)