def ab.ft

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

import Base

22def ab.ft(+e: {False{} == True{} : Bool}) -> Empty:
23  %Equal.sym(Bool, False{}, True{}, e) : ab.bool(_)
24  Unit{}