def quotient

stelliferous@0.0.2.0 · proofs/u32_division.bend:106

import stelliferous@0.0.2.0/proofs/u32_division.bend as U32Division

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

106def quotient(result: BinaryDivision.Quotient) -> Nat:
107  BinaryDivision.Quotient{q,r} = result
108  q

Uses (2)

Used by (4)