law add_sub

bend-lawful-stdlib@0.1.0.0 · src/u32.bend:317

import Base

317# adding b undoes subtracting b, with wraparound
318law add_sub:
319  for a: U32
320  for b: U32
321  {a == U32.add(U32.sub(a, b), b) : U32}