Blowfish.bf.set_s: 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 276-292 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=276&end_line=292

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

# entry j of the S-box k (0 to 3) set to v
def bf.set_s(t: LcBfTabs, k: Nat, +j: U32, v: U32) -> LcBfTabs:
  match t:
    case LcBfTabs{s1, s2, s3, s4}:
      match k:
        case 0n:
          LcBfTabs{L.lc.tab.set(8n, s1, j, v), s2, s3, s4}
        case 1n+k1:
          match k1:
            case 0n:
              LcBfTabs{s1, L.lc.tab.set(8n, s2, j, v), s3, s4}
            case 1n+k2:
              match k2:
                case 0n:
                  LcBfTabs{s1, s2, L.lc.tab.set(8n, s3, j, v), s4}
                case 1n+k3:
                  LcBfTabs{s1, s2, s3, L.lc.tab.set(8n, s4, j, v)}

Uses (4):
  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=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/legacy_ciphers.bend&name=lc.tab.set