Aes.CmAes.encrypt: def of bend-osdev-aes@0.1.0.0
Import: import bend-osdev-aes@0.1.0.0/aes.bend as Aes
Lines 241-245 of bend-osdev-aes@0.1.0.0/aes.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-aes@0.1.0.0/aes.bend&start_line=241&end_line=245

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.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}:
      aes.of_maybe(A.encrypt_block(aes.sched(sched), M.cm.bytes_of(b)))

Uses (6):
  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-aes@0.1.0.0/aes.bend&name=CmAesKey
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aes@0.1.0.0/aes.bend&name=aes.of_maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aes@0.1.0.0/aes.bend&name=aes.sched
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmBlock
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=cm.bytes_of