def b.absurd

import bend-osdev-apparmor@0.1.0.0/PROOF.bend as PROOF

import Base

70def b.absurd(-T: Type, -x: T, -y: T, +e: {False{} == True{} : Bool}) -> {x == y : T}:
71  Empty.absurd({x == y : T}, b.ft(e))

Uses (3)