def ud.q
import bend-osdev-u32@0.1.0.0/PROOF.bend as PROOFimport Base
1479def ud.q(m: Nat, qr: Word(m) & U32) -> Nat:
1480 (q, r) = qr
1481 Word.to_nat(m, q)
import bend-osdev-u32@0.1.0.0/PROOF.bend as PROOFimport Base
1479def ud.q(m: Nat, qr: Word(m) & U32) -> Nat:
1480 (q, r) = qr
1481 Word.to_nat(m, q)