def gt.tf

bend-osdev-gf@0.1.1.0 · proof_tab.bend:34

import Base

34def gt.tf(e: {True{} == False{} : Bool}) -> Empty:
35  %e : gt.bt(_)
36  Unit{}