Module Core_set

module Core_set: sig .. end

include Core_kernel.Core_set