def un.tf
import bend-osdev-u32@0.1.0.0/PROOF.bend as PROOFimport Base
23def un.tf(e: {True{} == False{} : Bool}) -> Empty:
24 %e : un.bt(_)
25 Unit{}
import bend-osdev-u32@0.1.0.0/PROOF.bend as PROOFimport Base
23def un.tf(e: {True{} == False{} : Bool}) -> Empty:
24 %e : un.bt(_)
25 Unit{}