Function awint_internals::assert_inlawi_invariants_slice [−][src]
pub const fn assert_inlawi_invariants_slice<const BW: usize, const LEN: usize>(
raw: &[usize]
)
Expand description
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)