package async_kernel
Module Id.Replace_polymorphic_compareSource
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.