Module Core_list

module Core_list: sig .. end

include Core_kernel.Core_list