type Quotient

stelliferous@0.0.2.0 · proofs/binary_division.bend:12

import Base

12type Quotient is Data:
13  Quotient{quotient: Nat,remainder: Nat}