let hash t = Kernel_function.hash t.kernel_function