law Numeric.u32_eq_sound

gralha-bendquest@0.1.0.0 · numeric.bend:421

import Base

421law Numeric.u32_eq_sound:
422  for +a: U32
423  for +b: U32
424  for +equal: {U32.is_eq(a, b) == True{} : Bool}
425  {a == b : U32}