def isqrt_from
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
229def isqrt_from(+n: Nat, +g: Nat) -> Nat:
230 sqrt_iter(g, n, g, sqrt_next(n, g), Nat.is_lt(sqrt_next(n, g), g))
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
229def isqrt_from(+n: Nat, +g: Nat) -> Nat:
230 sqrt_iter(g, n, g, sqrt_next(n, g), Nat.is_lt(sqrt_next(n, g), g))