Serpent.sp.box.go: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/serpent.bend as Serpent
Lines 288-306 of bend-osdev-legacy-ciphers@0.1.0.0/serpent.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/serpent.bend&start_line=288&end_line=306

import Base

# S-box n (n = 0 to 7)
def sp.box.go(n: Nat) -> LcSpBox:
  match n:
    case 0n:
      LcSp0{}
    case 1n:
      LcSp1{}
    case 2n:
      LcSp2{}
    case 3n:
      LcSp3{}
    case 4n:
      LcSp4{}
    case 5n:
      LcSp5{}
    case 6n:
      LcSp6{}
    case _:
      LcSp7{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/serpent.bend&name=LcSpBox