law uint

stelliferous@0.0.2.0 · proofs/u32_comparison.bend:87

import Base

87law uint:
88  for +a: U32
89  for +b: U32
90  {U32.cmp(a,b) == Nat.cmp(U32.to_nat(a),U32.to_nat(b)) : Cmp}