def cm.need_block.pick

bend-osdev-mode-core@0.1.0.0 · mode_core.bend:281

import bend-osdev-mode-core@0.1.0.0/mode_core.bend as ModeCore
import Base

281# a 16-byte value as a block, or the error e
282def cm.need_block.pick(ok: Bool, xs: List<&2, U32>, e: CmError) -> Result<&2, &2, CmError, CmBlock>:
283  match ok:
284    case True{}:
285      Done{cm.block_of(xs)}
286    case False{}:
287      Fail{e}

Uses (7)

Used by (2)