type never_returns = Nothing0.t
val sexp_of_never_returns : never_returns -> Sexplib.Sexp.t
val never_returns : never_returns -> 'a