Function bitvec_resize 

pub fn bitvec_resize(x: BitVec<u8, Msb0>, width: usize) -> BitVec<u8, Msb0>

Resize x to width bits.

Any added high-order bits are zero.

This backs x4c’s implicit bit<W> to bit<V> widening, which P4-16 expresses as an explicit cast (8.11.1).