Aria.aria.sl1: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as Aria
Lines 4391-4396 of bend-osdev-legacy-ciphers@0.1.0.0/aria.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&start_line=4391&end_line=4396

import Base

# The substitution layers SL1 (SB1, SB2, SB3, SB4 in turn) and SL2 (SB3,
# SB4, SB1, SB2)
def aria.sl1(s: LcAriaSt) -> LcAriaSt:
  match s:
    case LcAriaSt{x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15}:
      LcAriaSt{aria.sb1(x0), aria.sb2(x1), aria.sb3(x2), aria.sb4(x3), aria.sb1(x4), aria.sb2(x5), aria.sb3(x6), aria.sb4(x7), aria.sb1(x8), aria.sb2(x9), aria.sb3(x10), aria.sb4(x11), aria.sb1(x12), aria.sb2(x13), aria.sb3(x14), aria.sb4(x15)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=LcAriaSt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.sb1
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.sb2
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.sb3
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.sb4