def U32.divmod.go

Base · base.bend:1608

import Base

1608def U32.divmod.go(m: Nat, a: Word(m), +b: U32) -> Word(m) & U32:
1609  match m a:
1610    case 0n WNil{}:
1611      (WNil{}, 0)
1612    case 1n+p WCon{a0, hi}:
1613      U32.divmod.go.rec(p, a0, b, U32.divmod.go(p, hi, b))

Uses (8)

Used by (16)