Check.aes_cbc: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/check.bend as Check
Lines 197-199 of bend-osdev-crypto@0.1.0.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/check.bend&start_line=197&end_line=199

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

def aes_cbc(+k: B.Octets, +iv: B.Octets, +m: B.Octets) -> String:
  +c = aes_cbc_c(k, iv, m)
  both(c, aes_cbc_d(k, iv, c))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/check.bend&name=aes_cbc_c
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/check.bend&name=aes_cbc_d
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/check.bend&name=both