Module Nothing

module Nothing: sig .. end

include Core_kernel.Nothing