def ud.dm_lhs

bend-osdev-u32@0.1.0.0 · PROOF_div.bend:71

import bend-osdev-u32@0.1.0.0/PROOF_div.bend as PROOFDiv

import Base

71def ud.dm_lhs(+n: Nat, +m: Nat, +d: Nat, +r: Nat, +bp: Nat) -> Nat:
72  Nat.add(Nat.mul(Pair.fst(Nat, Nat, Nat.divmod.go(n, m, d, r)), 1n+bp), Pair.snd(Nat, Nat, Nat.divmod.go(n, m, d, r)))

Uses (6)

Used by (2)