law finish_lt_zero

stelliferous@0.0.2.0 · proofs/word_encoding.bend:47

import Base

47law finish_lt_zero:
48  for +b: Bool
49  for +c: Cmp
50  {Cmp.is_lt(Word.cmp.fin(b,False{},c)) == Cmp.is_lt(c) : Bool}