def U32.div.if
import Base1619def U32.div.if(aw: Word(32n), b: U32, z: Bool) -> U32:
1620 match z:
1621 case True{}:
1622 0
1623 case False{}:
1624 U32.div.fin(U32.divmod.go(32n, aw, b))
import Base1619def U32.div.if(aw: Word(32n), b: U32, z: Bool) -> U32:
1620 match z:
1621 case True{}:
1622 0
1623 case False{}:
1624 U32.div.fin(U32.divmod.go(32n, aw, b))