def U32.divmod.go.fin

Base · base.bend:1588

import Base

1588def U32.divmod.go.fin(-p: Nat, q: Word(p), s: U32, b: U32, g: Bool) ->
1589  Word(1n+p) & U32:
1590  match g:
1591    case True{}:
1592      (WCon{True{}, q}, U32.sub(s, b))
1593    case False{}:
1594      (WCon{False{}, q}, s)

Uses (8)

Used by (16)