def pk.absurd

import bend-osdev-cbc@0.1.0.0/PROOF_padded.bend as PROOFPadded

import Base

34def pk.absurd(-A: Type, h: {False{} == True{} : Bool}) -> A:
35  Empty.absurd(A, pk.empty(h))

Uses (3)