Aria.aria.key: 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 4586-4593 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=4586&end_line=4593

import Base

def aria.key(n16: Bool, n24: Bool, +xs: List<&2, U32>) -> LcAriaKey:
  match n16 n24:
    case True{} _:
      LcAriaKey{aria.ops(11n, aria.ws(aria.block(xs, 0n), aria.block(xs, 16n), 0n, 1n, 2n), True{})}
    case False{} True{}:
      LcAriaKey{aria.ops(13n, aria.ws(aria.block(xs, 0n), aria.block(xs, 16n), 1n, 2n, 0n), True{})}
    case False{} False{}:
      LcAriaKey{aria.ops(15n, aria.ws(aria.block(xs, 0n), aria.block(xs, 16n), 2n, 0n, 1n), True{})}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/aria.bend&name=LcAriaKey
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.block
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.ops
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.ws