law is_eq_true

lawful-words@0.1.0.0 · LAWS.bend:92

import Base

92# A passed equality test gives equal words.
93law is_eq_true:
94  for a: U32
95  for b: U32
96  for h: {U32.is_eq(a, b) == True{} : Bool}
97  {a == b : U32}