Idris2Doc : Data.Void

Data.Void

absurdity : Uninhabitedt => (0 _ : t) -> s
contradiction : Uninhabitedt => (0 _ : (x -> t)) -> x -> s