let
hash t =
Kernel_function
.hash t.kernel_function