def cr.vm.carry
import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmacimport 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()