def AP.tf
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
30def AP.tf(e: {True{} == False{} : Bool}) -> Empty:
31 %e : AP.bool_t(_)
32 Unit{}
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
30def AP.tf(e: {True{} == False{} : Bool}) -> Empty:
31 %e : AP.bool_t(_)
32 Unit{}