Previous
Up
Next
Module
Never_returns
module
Never_returns:
sig
..
end
include
Core_kernel.Never_returns