def U32.divmod.go.shl

Base · base.bend:1596

1596def U32.divmod.go.shl(-p: Nat, q: Word(p), +b: U32, ts: Bool & Word(32n)) ->
1597  Word(1n+p) & U32:
1598  (t, s) = ts
1599  +s2 = {U32{s} : U32}
1600  U32.divmod.go.fin(p, q, s2, b, Bool.or(t, U32.is_ge(s2, b)))