def Limb.add.s

bend-kit-f64@0.1.0.0 · f64.bend:190

import Base

190def Limb.add.s(+x: U32, c: U32, +s1: U32) -> Limb:
191  +s2 = (s1 + c : U32)
192  Limb{s2, u01(Bool.or(U32.is_lt(s1, x), U32.is_lt(s2, s1)))}