Base · base.bend:1615
import Base
1615def U32.div.fin(qr: Word(32n) & U32) -> U32: 1616 (q, r) = qr 1617 U32{q}