Module Core_kernel.Core_map_intf.Check_creators3_with_comparator