def des.kbit.pick

bend-osdev-legacy-ciphers@0.1.0.0 · des.bend:276

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L

276def des.kbit.pick(low: Bool, +hi: U32, +lo: U32, +t: Nat) -> U32:
277  match low:
278    case True{}:
279      L.lc.bit(lo, Nat.sub(64n, t))
280    case False{}:
281      L.lc.bit(hi, Nat.sub(32n, t))