Sm4.sm4.rev: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/sm4.bend as Sm4
Lines 85-89 of bend-osdev-legacy-ciphers@0.1.0.0/sm4.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/sm4.bend&start_line=85&end_line=89

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

# the reverse transformation R: (A0, A1, A2, A3) -> (A3, A2, A1, A0)
def sm4.rev(s: M.CmBlock) -> M.CmBlock:
  match s:
    case M.CmBlock{a, b, c, d}:
      M.CmBlock{d, c, b, a}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend&name=CmBlock