def field
import bend-kit-bits@0.1.0.1/bits.bend as Bitsimport Base
38# The first n (at most 32) bits of a window as a number, first stream bit most significant MSB-first.
39def field(+msb: Bool, +n: U32, +w: U32) -> U32:
40 Bool.pick(U32, msb, U32.shrn(w, U32.to_nat((32 - n : U32))), (w .&. mask(n) : U32))