def step

stelliferous@0.0.2.0 · proofs/binary_division.bend:34

import Base
import stelliferous@0.0.2.0/proofs/u32_comparison.bend as Comparison

34def step(bit: Bool,+b: Nat,prev: Quotient) -> Quotient:
35  Quotient{q,r} = prev
36  +s = Comparison.digit(bit,r)
37  branch(Nat.is_ge(s,b),Nat.double(q),s,b)