def un.ft

bend-osdev-u32@0.1.0.0 · PROOF.bend:19

import Base

19def un.ft(e: {False{} == True{} : Bool}) -> Empty:
20  %Equal.sym(Bool, False{}, True{}, e) : un.bt(_)
21  Unit{}