~/jendhub

def cr.vm.norm.pick

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

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

185def cr.vm.norm.pick(p: Bool, +x: CrU128) -> CrU128:
186  match p:
187    case True{}:
188      cr.vm.u(W.W64.zero())
189    case False{}:
190      x

Uses (4)

Used by (1)