def remainder
import stelliferous@0.0.2.0/proofs/binary_division.bend as BinaryDivisionimport Base
19def remainder(result: Quotient) -> Nat:
20 Quotient{q,r} = result
21 r
import stelliferous@0.0.2.0/proofs/binary_division.bend as BinaryDivisionimport Base
19def remainder(result: Quotient) -> Nat:
20 Quotient{q,r} = result
21 r