Module ArgTool.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
val is_live : (MyCFG.node * R.SpecSys.Spec.C.t * 'a) -> bool
val move_opt : ('a * R.SpecSys.Spec.C.t * 'b) -> Node.t -> (MyCFG.node * R.SpecSys.Spec.C.t * int) option
val equal_node_context : (Node.t * R.SpecSys.Spec.C.t * 'a) -> (Node.t * R.SpecSys.Spec.C.t * 'b) -> Ppx_deriving_runtime.bool