def ud.ex_falso

import bend-osdev-u32@0.1.0.0/PROOF_div.bend as PROOFDiv

import Base

47def ud.ex_falso(-A: Type, e: Empty) -> A:
48  match e:

Uses (1)