def eq_fin_ff

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

import Base

215def eq_fin_ff(+c: Cmp) -> {Cmp.is_eq(Word.cmp.fin(False{}, False{}, c)) == Cmp.is_eq(c) : Bool}:
216  match c:
217    case LT{}:
218      {==}
219    case EQ{}:
220      {==}
221    case GT{}:
222      {==}