law sub_add

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

import Base

306# subtracting b undoes adding b, with wraparound
307law sub_add:
308  for a: U32
309  for b: U32
310  {a == U32.sub(U32.add(a, b), b) : U32}