def ccm.checks

bend-osdev-cipher-modes@0.1.0.0 · ccm.bend:127

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

127# the tag length, the nonce length and the message length n, in that order
128def ccm.checks(+m: Nat, +nl: Nat, +n: Nat) -> Result<&2, &2, M.CmError, Unit>:
129  ccm.checks.tag(ccm.tag_ok(m), m, nl, n)