Module type Core_kernel__Set.Compare_m