def des.cdbit.pick

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

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

291def des.cdbit.pick(low: Bool, +c: U32, +d: U32, +t: Nat) -> U32:
292  match low:
293    case True{}:
294      L.lc.bit(d, Nat.sub(56n, t))
295    case False{}:
296      L.lc.bit(c, Nat.sub(28n, t))