def bq.ft

bend-osdev-algo@0.1.0.0 · proof_bsearch.bend:126

import Base

126def bq.ft(e: {False{} == True{} : Bool}) -> Empty:
127  %Equal.sym(Bool, False{}, True{}, e) : bq.bt(_)
128  Unit{}