Blowfish.bf.fill_p.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 299-309 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=299&end_line=309

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

def bf.fill_p.go(n: Nat, +i: Nat, +ps: List<&2, U32>, +t: LcBfTabs, c: L.LcBlock64) -> LcBfSt:
  match n:
    case 0n:
      match c:
        case L.LcBlock64{+h, +l}:
          LcBfSt{bf.set_p(i, ps, h, l), t, L.LcBlock64{h, l}}
    case 1n+m:
      match c:
        case L.LcBlock64{+h, +l}:
          +ps2 = bf.set_p(i, ps, h, l)
          bf.fill_p.go(m, Nat.add(i, 2n), ps2, t, bf.run(bf.ops(16n, ps2, t), 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=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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_p
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend&name=LcBlock64