def add_over_fin
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
63def add_over_fin(+s: U32, +ah: U32, c: Bool) -> Bool:
64 Bool.or(U32.is_lt(s, ah), Bool.and(c, U32.is_eq(s, 4294967295)))
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
63def add_over_fin(+s: U32, +ah: U32, c: Bool) -> Bool:
64 Bool.or(U32.is_lt(s, ah), Bool.and(c, U32.is_eq(s, 4294967295)))