law finish_eq_parts

stelliferous@0.0.2.0 · proofs/word_encoding.bend:209

import Base

209law finish_eq_parts:
210  for +b: Bool
211  for +c: Cmp
212  for eq: {Word.cmp.fin(b,False{},c) == EQ{} : Cmp}
213  {b == False{} : Bool} & {c == EQ{} : Cmp}