def cm.need_block.pick

bend-osdev-cipher-modes@0.1.0.0 · cipher_modes.bend:270

import Base

270# a 16-byte value as a block, or the error e
271def cm.need_block.pick(ok: Bool, xs: List<&2, U32>, e: CmError) -> Result<&2, &2, CmError, CmBlock>:
272  match ok:
273    case True{}:
274      Done{cm.block_of(xs)}
275    case False{}:
276      Fail{e}