def Nat.divmod

Base · base.bend:710

import Base

710def Nat.divmod(a: Nat, b: Nat) -> Nat & Nat:
711  match b:
712    case 0n:
713      (0n, a)
714    case 1n+bp:
715      Nat.divmod.go(a, bp, 0n, 0n)

Uses (4)

Used by (75)