module Never_returns: sig .. end
sig
end
type never_returns
val sexp_of_never_returns : 'a -> 'b
'a -> 'b
val never_returns : never_returns -> 'a
never_returns -> 'a