Base · base.bend:1631
import Base
1631def U32.mod.fin(qr: Word(32n) & U32) -> U32: 1632 (q, r) = qr 1633 r