def bq.tf

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

import Base

130def bq.tf(e: {True{} == False{} : Bool}) -> Empty:
131  %e : bq.bt(_)
132  Unit{}