def AP.fin_le_ft

bend-osdev-array@0.1.0.1 · PROOF.bend:197

import Base

197def AP.fin_le_ft(c: Cmp) -> {Cmp.is_le(Word.cmp.fin(False{}, True{}, c)) == Cmp.is_le(c) : Bool}:
198  match c:
199    case LT{}:
200      {==}
201    case EQ{}:
202      {==}
203    case GT{}:
204      {==}