def U32.mod.if

Base · base.bend:1635

import Base

1635def U32.mod.if(aw: Word(32n), b: U32, z: Bool) -> U32:
1636  match z:
1637    case True{}:
1638      U32{aw}
1639    case False{}:
1640      U32.mod.fin(U32.divmod.go(32n, aw, b))

Uses (5)

Used by (8)