def des.group
import bend-osdev-legacy-ciphers@0.1.0.0/des.bend as Desimport Base
309def des.group(+x: U32, n: Nat) -> U32:
310 U32.and(63, U32.shrn(x, n))
import bend-osdev-legacy-ciphers@0.1.0.0/des.bend as Desimport Base
309def des.group(+x: U32, n: Nat) -> U32:
310 U32.and(63, U32.shrn(x, n))