Blowfish.bf.fill_s.go: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/blowfish.bend as Blowfish
Lines 317-327 of bend-osdev-legacy-ciphers@0.1.0.0/blowfish.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/blowfish.bend&start_line=317&end_line=327

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

def bf.fill_s.go(n: Nat, +k: Nat, +j: U32, +ps: List<&2, U32>, +t: LcBfTabs, c: L.LcBlock64) -> LcBfSt:
  match n:
    case 0n:
      match c:
        case L.LcBlock64{+h, +l}:
          LcBfSt{ps, bf.set_s(bf.set_s(t, k, j, h), k, U32.add(j, 1), l), L.LcBlock64{h, l}}
    case 1n+m:
      match c:
        case L.LcBlock64{+h, +l}:
          +t1 = bf.set_s(bf.set_s(t, k, j, h), k, U32.add(j, 1), l)
          bf.fill_s.go(m, k, U32.add(j, 2), ps, t1, bf.run(bf.ops(16n, ps, t1), L.LcBlock64{h, l}))

Uses (10):
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/blowfish.bend&name=LcBfSt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/blowfish.bend&name=LcBfTabs
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/blowfish.bend&name=bf.ops
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/blowfish.bend&name=bf.run
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/blowfish.bend&name=bf.set_s
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend&name=LcBlock64