def absurd

import qasim-bend-kit@0.1.0.2/proof/JSON_PrimitiveProof.bend as JSONPrimitiveProof

import Base

7def absurd(-A: Type, empty: Empty) -> A:
8    match empty:

Uses (1)