def cr.cts.check

bend-osdev-crypto@0.1.0.0 · cts.bend:92

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

92def cr.cts.check(+bsize: Nat, +iv: B.Octets, +n: Nat) -> Result<&2, &2, Cr.CrError, Unit>:
93  do Result<&2, &2, Cr.CrError, Unit>:
94    Cr.CrError.check(Nat.is_eq(B.Octets.len(iv), bsize), Cr.CrBadIvLength{B.Octets.len(iv)})
95    Cr.CrError.check(Bool.and(Nat.is_lt(0n, bsize), Nat.is_le(bsize, n)), Cr.CrTooShort{n})