def eq_fin_tf

bend-collections-laws-math@1.0.0.0 · proofs/lib/word.bend:206

import Base

206def eq_fin_tf(+c: Cmp) -> {Cmp.is_eq(Word.cmp.fin(True{}, False{}, c)) == False{} : Bool}:
207  match c:
208    case LT{}:
209      {==}
210    case EQ{}:
211      {==}
212    case GT{}:
213      {==}