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