def off.absurd

import bend-osdev-bytes@0.1.1.0/PROOF.bend as PROOF

import Base

770def off.absurd(-A: Type, e: Empty) -> A:
771  match e:

Uses (1)