def cr.lrw.carry

bend-osdev-crypto@0.1.0.0 · lrw.bend:45

import Base

45def cr.lrw.carry(z: Bool, +w: U32) -> U32:
46  match z:
47    case True{}:
48      U32.add(w, 1)
49    case False{}:
50      w