def set.fin_tf

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

import Base

121def set.fin_tf(+t: Cmp) -> {Cmp.is_eq(Word.cmp.fin(True{}, False{}, t)) == False{} : Bool}:
122  match t:
123    case LT{}:
124      {==}
125    case EQ{}:
126      {==}
127    case GT{}:
128      {==}