def ab.tf

bend-osdev-u32@0.1.0.0 · PROOF_order.bend:18

import Base

18def ab.tf(+e: {True{} == False{} : Bool}) -> Empty:
19  %e : ab.bool(_)
20  Unit{}