law cmp_nat

bend-lawful-stdlib@0.1.0.0 · src/u32.bend:93

import Base
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Nat

93law cmp_nat:
94  for a: U32
95  for b: U32
96  {Nat.cmp(U32.to_nat(a), U32.to_nat(b)) == U32.cmp(a, b) : Cmp}