~/jendhub

def cr.vm.pdf.pick

bend-osdev-crypto@0.1.0.0 · vmac.bend:411

import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmac
import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W

411def cr.vm.pdf.pick(one: Bool, odd: Bool, +t: List<&2, U32>, +words: Nat) -> List<&2, W.W64>:
412  match one:
413    case True{}:
414      match odd:
415        case True{}:
416          [cr.vm.w64be(t, 8n)]
417        case False{}:
418          [cr.vm.w64be(t, 0n)]
419    case False{}:
420      cr.vm.words(words, True{}, t, 0n)

Uses (7)

Used by (1)