Module Core_map_intf

module Core_map_intf: sig .. end

include Core_kernel.Core_map_intf