let
hash kf =
H
.hash (
Kernel_function
.get_name kf)