def dr
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/u32div.bend as U32divimport Base
30def dr(-m: Nat, r: Word(m) & U32) -> U32:
31 (q, s) = r
32 s
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/u32div.bend as U32divimport Base
30def dr(-m: Nat, r: Word(m) & U32) -> U32:
31 (q, s) = r
32 s