def bump
import stelliferous@0.0.2.0/proofs/nat_division.bend as NatDivisionimport Base
46def bump(pair: Nat & Nat) -> Nat & Nat:
47 (q,r) = pair
48 (1n+q,r)
import stelliferous@0.0.2.0/proofs/nat_division.bend as NatDivisionimport Base
46def bump(pair: Nat & Nat) -> Nat & Nat:
47 (q,r) = pair
48 (1n+q,r)