def cr.ctr.sum

bend-osdev-crypto@0.1.0.0 · modes.bend:218

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

218def cr.ctr.sum(carry: Bool, +b: U32) -> U32:
219  match carry:
220    case True{}:
221      B.byte(U32.add(b, 1))
222    case False{}:
223      b