def set.fin_ff

bend-osdev-caps@0.1.0.0 · PROOF.bend:112

import Base

112def set.fin_ff(+t: Cmp) -> {Cmp.is_eq(Word.cmp.fin(False{}, False{}, t)) == Cmp.is_eq(t) : Bool}:
113  match t:
114    case LT{}:
115      {==}
116    case EQ{}:
117      {==}
118    case GT{}:
119      {==}