Aria.aria.of_quads: 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 4430-4433 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=4430&end_line=4433

import Base

def aria.of_quads(q0: LcAriaQ, q1: LcAriaQ, q2: LcAriaQ, q3: LcAriaQ) -> LcAriaSt:
  match q0 q1 q2 q3:
    case LcAriaQ{x0, x1, x2, x3} LcAriaQ{x4, x5, x6, x7} LcAriaQ{x8, x9, x10, x11} LcAriaQ{x12, x13, x14, x15}:
      LcAriaSt{x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=LcAriaQ
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=LcAriaSt