law Word.cmp_nat

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

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

66law Word.cmp_nat:
67  for +n: Nat
68  for a: Word(n)
69  for b: Word(n)
70  {Nat.cmp(Word.to_nat(n, a), Word.to_nat(n, b)) == Word.cmp(n, a, b) : Cmp}