law nonnegative

stelliferous@0.0.2.0 · proofs/word_encoding.bend:88

import Base

88law nonnegative:
89  for +n: Nat
90  for +w: Word(n)
91  {Cmp.is_lt(Word.cmp(n,w,Word.zero(n))) == False{} : Bool}