Module Nothing0

module Nothing0: sig .. end

include Core_kernel.Nothing0