Module Core_map

module Core_map: sig .. end

include Core_kernel.Core_map