Aes.CmAes.encrypt: 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 275-279 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=275&end_line=279

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
import bend-collections@1.0.0.0/src/crypto/aes/aes.bend as A

# one block, encrypted (bend-collections' encrypt_block)
def CmAes.encrypt(k: CmAesKey, b: M.CmBlock) -> M.CmBlock:
  match k:
    case CmAesKey{sched, raw, dk}:
      aes.of_maybe(A.encrypt_block(sched, M.cm.bytes_of(b)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/aes.bend&name=encrypt_block
  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.of_maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend&name=CmBlock
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend&name=cm.bytes_of