Aes.CmAes.decrypt: def of bend-osdev-cipher-modes@0.1.0.0
Import: import bend-osdev-cipher-modes@0.1.0.0/aes.bend as Aes
Lines 287-291 of bend-osdev-cipher-modes@0.1.0.0/aes.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-cipher-modes@0.1.0.0/aes.bend&start_line=287&end_line=291

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

# one block, decrypted (the inverse cipher above)
def CmAes.decrypt(k: CmAesKey, b: M.CmBlock) -> M.CmBlock:
  match k:
    case CmAesKey{sched, raw, dk}:
      aes.block_of(aes.decrypt(aes.dkeys(dk, raw), aes.state_of(b)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/aes.bend&name=CmAesKey
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/aes.bend&name=aes.block_of
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/aes.bend&name=aes.decrypt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/aes.bend&name=aes.dkeys
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/aes.bend&name=aes.state_of
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend&name=CmBlock