def cr.vm.carry

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

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

40def cr.vm.carry(c: Bool) -> W.W64:
41  match c:
42    case True{}:
43      W.W64.one()
44    case False{}:
45      W.W64.zero()

Uses (4)

Used by (3)