def up64_ok

bend-collections-laws-crypto@1.0.0.0 · src/math/w64.bend:477

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

477def up64_ok(+n: W.U64, +r: U32) -> Bool:
478  Bool.and(U32.is_lt(r, 4294967295), Bool.not(sq_over(n, U32.add(r, 1))))