def absurd.tf

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

import Base

24def absurd.tf(e: {True{} == False{} : Bool}) -> Empty:
25  %e : absurd.bool(_)
26  Unit{}