let
compare (t1,_) (t2,_) =
Kernel_function
.compare t1.kernel_function t2.kernel_function