def Nat.divmod.go

Base · base.bend:699

699def Nat.divmod.go(n: Nat, m: Nat, d: Nat, r: Nat) -> Nat & Nat:
700  match n:
701    case 0n:
702      (d, r)
703    case 1n+np:
704      match m:
705        case 0n:
706          Nat.divmod.go(np, r, 1n+d, 0n)
707        case 1n+mp:
708          Nat.divmod.go(np, mp, d, 1n+r)