let compare t1 t2 =
           Kernel_function.compare t1.kernel_function t2.kernel_function