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