~/jendhub

def Int.udivmod.shl

bend-kit-int@0.2.0.0 · int.bend:110

import bend-kit-int@0.2.0.0/int.bend as Int
import Base

110def Int.udivmod.shl(-p: Nat, q: Word(p), +n: Nat, +b: Word(n),
111  ts: Bool & Word(n)) -> Word(1n+p) & Word(n):
112  (t, s) = ts
113  +s2 = {s : Word(n)}
114  Int.udivmod.fin(p, q, n, s2, b, Bool.or(t, Cmp.is_ge(Word.cmp(n, s2, b))))

Uses (9)

Used by (1)