Core_kernel.Std.Comparator.S