module NodeKf:sig
..end
typet =
PdgTypes.Node.t * Db_types.kernel_function
val compare : PdgTypes.Node.t * Kernel_function.t ->
PdgTypes.Node.t * Kernel_function.t -> int
val equal : PdgTypes.Node.t * Kernel_function.t ->
PdgTypes.Node.t * Kernel_function.t -> bool
val hash : PdgTypes.Node.t * Kernel_function.t -> int
module Datatype:Datatype.Couple
(
PdgTypes.Node.Datatype
)
(
Kernel_function.Datatype
)