def bo.absurd

import bend-osdev-cipher-modes@0.1.0.0/PROOF.bend as PROOF

import Base

183def bo.absurd(-A: Type, h: {False{} == True{} : Bool}) -> A:
184  Empty.absurd(A, bo.empty(h))

Uses (3)