Base · base.bend:2644
import Base
2644def Map.bit.u(x: U32, k: Nat) -> Bool: 2645 U32.is_ne(U32.and(U32.shrn(x, k), 1), 0)