Module Make.Node

type t = Node.t * R.SpecSys.Spec.C.t * int
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val cfgnode : ('a * 'b * 'c) -> 'a
val context_id : ('a * R.SpecSys.Spec.C.t * 'b) -> int
val path_id : ('a * 'b * 'c) -> 'c
val to_string : (MyCFG.node * R.SpecSys.Spec.C.t * int) -> string