Module Core_kernel__.Core_map_intf.Check_accessors3_with_comparator