let hash (t,_) = Kernel_function.hash t.kernel_function