~/jendhub

def Empty.absurd

Base · base.bend:562

import Base
562def Empty.absurd(-A: Type, e: Empty) -> A:
563  match e:

Uses (1)

Used by (1872)