def pair
import stelliferous@0.0.2.0/proofs/binary_division.bend as BinaryDivisionimport Base
23def pair(result: Quotient) -> Nat & Nat:
24 Quotient{q,r} = result
25 (q,r)
import stelliferous@0.0.2.0/proofs/binary_division.bend as BinaryDivisionimport Base
23def pair(result: Quotient) -> Nat & Nat:
24 Quotient{q,r} = result
25 (q,r)