law u32_cmp_refl

bend-mathlib@0.8.1.0 · string.bend:145

import Base

145# Comparing a U32 with itself gives EQ.
146law u32_cmp_refl:
147  for x: U32
148  {U32.cmp(x, x) == EQ{} : Cmp}