def cr.vm.sub64.pick

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

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

265def cr.vm.sub64.pick(ge: Bool, +x: W.W64) -> W.W64:
266  match ge:
267    case True{}:
268      W.W64.sub(x, cr.vm.p64())
269    case False{}:
270      x

Uses (4)

Used by (1)