~/jendhub

def cr.vm.fold.pick

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

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

172def cr.vm.fold.pick(top: Bool, +h: W.W64, +l: W.W64) -> CrU128:
173  match top:
174    case True{}:
175      cr.vm.add(CrU128{W.W64.and(h, cr.vm.m63()), l}, cr.vm.u(W.W64.one()))
176    case False{}:
177      CrU128{h, l}

Uses (8)

Used by (1)