Des.des.picks56: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/des.bend as Des
Lines 298-304 of bend-osdev-legacy-ciphers@0.1.0.0/des.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/des.bend&start_line=298&end_line=304

import Base

# the bits that tab picks from the 56 bits C:D (28 each), appended to acc
def des.picks56(tab: List<&2, Nat>, +c: U32, +d: U32, acc: U32) -> U32:
  match tab:
    case Nil{}:
      acc
    case Con{+t, rest}:
      des.picks56(rest, c, d, U32.or(U32.shl(acc), des.cdbit.pick(Nat.is_lt(28n, t), c, d, t)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shl
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/des.bend&name=des.cdbit.pick