Module Never_returns

module Never_returns: sig .. end

include Core_kernel.Never_returns