package core_kernel
Module Make_plain_using_comparator.Replace_polymorphic_compare
compare t1 t2 returns 0 if t1 is equal to t2, a negative integer if t1 is less than t2, and a positive integer if t1 is greater than t2.