def cr.blocks_of.ok

bend-osdev-crypto@0.1.0.0 · modes.bend:152

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

152def cr.blocks_of.ok(~Blk: Data, ok: Bool, m: Maybe<&2, List<&2, Blk>>, +len: Nat) -> Result<&2, &2, Cr.CrError, List<&2, Blk>>:
153  match ok:
154    case False{}:
155      Fail{Cr.CrNotBlockMultiple{len}}
156    case True{}:
157      cr.blocks_of.some(~Blk, m, len)