~/jendhub

def cr.vm.l3keys.pick

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

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

315def cr.vm.l3keys.pick(ok: Bool, +a: W.W64, +b: W.W64, rest: List<&2, CrU128>) -> List<&2, CrU128>:
316  match ok:
317    case True{}:
318      Con{CrU128{a, b}, rest}
319    case False{}:
320      rest

Uses (4)

Used by (1)