def bump2

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/nat.bend as Nat

import Base

490def bump2(p: Nat & Nat) -> Nat & Nat:
491  (q, r) = p
492  (1n+q, r)

Uses (3)