def sq_over
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
465def sq_over(+n: W.U64, +r: U32) -> Bool:
466 lt(n, mul32(r, r))
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
465def sq_over(+n: W.U64, +r: U32) -> Bool:
466 lt(n, mul32(r, r))