def total
import stelliferous@0.0.2.0/proofs/binary_division.bend as BinaryDivisionimport Base
15def total(result: Quotient,b: Nat) -> Nat:
16 Quotient{q,r} = result
17 Nat.add(Nat.mul(q,b),r)
import stelliferous@0.0.2.0/proofs/binary_division.bend as BinaryDivisionimport Base
15def total(result: Quotient,b: Nat) -> Nat:
16 Quotient{q,r} = result
17 Nat.add(Nat.mul(q,b),r)