let
hash (n, kf) = 7 *
Kernel_function
.hash kf +
PdgTypes
.
Node
.hash n