law u32_cmp_refl

bend-osdev-u32@0.1.0.0 · LAWS_order.bend:71

import Base

71law u32_cmp_refl:
72  for +a: U32
73  {U32.cmp(a, a) == EQ{} : Cmp}