law bump_swap

bend-lawful-stdlib@0.1.0.0 · src/sorted.bend:152

import Base

152law bump_swap:
153  for a: Bool
154  for b: Bool
155  for -n: Nat
156  {bump(a, bump(b, n)) == bump(b, bump(a, n)) : Nat}