law u32_cmp_eq

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

import Base

75law u32_cmp_eq:
76  for +a: U32
77  for +b: U32
78  for e: {U32.cmp(a, b) == EQ{} : Cmp}
79  {a == b : U32}