def decode

stelliferous@0.0.2.0 · proofs/u32_division.bend:11

import Base
import stelliferous@0.0.2.0/proofs/binary_division.bend as BinaryDivision

11def decode(+n: Nat,pair: Word(n) & U32) -> BinaryDivision.Quotient:
12  (q,r) = pair
13  BinaryDivision.Quotient{Word.to_nat(n,q),U32.to_nat(r)}