def cr.ctr.carry

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

import Base

225def cr.ctr.carry(carry: Bool, +b: U32) -> Bool:
226  match carry:
227    case True{}:
228      U32.is_eq(b, 255)
229    case False{}:
230      False{}