let
equal (n1, kf1) (n2, kf2) =
Kernel_function
.equal kf1 kf2
&&
PdgTypes
.
Node
.equal n1 n2