law pl_u32_eq_refl

lawful-bytes@0.1.1.0 · proof_list.bend:87

import Base

87law pl_u32_eq_refl:
88  for +a: U32
89  {U32.is_eq(a, a) == True{} : Bool}