~/jendhub

def sqrt_iter

bend-collections@1.0.0.0 · src/math/natural.bend:220

import bend-collections@1.0.0.0/src/math/natural.bend as Natural
import Base

220def sqrt_iter(fuel: Nat, +n: Nat, +g: Nat, +m: Nat, +down: Bool) -> Nat:
221  match fuel down:
222    case 0n _:
223      g
224    case 1n+f False{}:
225      g
226    case 1n+f True{}:
227      sqrt_iter(f, n, m, sqrt_next(n, m), Nat.is_lt(sqrt_next(n, m), m))

Uses (4)

Used by (1)