law is_eq_true

lawful-words@0.1.0.0 · proof_u32.bend:285

import Base

285law is_eq_true:
286  for +a: U32
287  for +b: U32
288  for +h: {U32.is_eq(a, b) == True{} : Bool}
289  {a == b : U32}