def absurd.ft

bend-osdev-algo@0.1.0.0 · PROOF.bend:28

import Base

28def absurd.ft(e: {False{} == True{} : Bool}) -> Empty:
29  %Equal.sym(Bool, False{}, True{}, e) : absurd.bool(_)
30  Unit{}