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