def bump2
import bend-collections-laws-math@1.0.0.0/proofs/lib/nat.bend as Natimport Base
490def bump2(p: Nat & Nat) -> Nat & Nat:
491 (q, r) = p
492 (1n+q, r)
import bend-collections-laws-math@1.0.0.0/proofs/lib/nat.bend as Natimport Base
490def bump2(p: Nat & Nat) -> Nat & Nat:
491 (q, r) = p
492 (1n+q, r)