def iroot

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

import Base

245def iroot(+n: Nat, +k: Nat) -> Result<&2, &2, MathError, Nat>:
246  match k:
247    case 0n:
248      Fail{Domain{}}
249    case 1n+ +kp:
250      Done{iroot_k(n, 1n+kp)}