Module CallGraph.Node

type t = private {
  1. id : int;
  2. pname : IR.Procname.t;
  3. mutable successors : int list;
  4. mutable flag : bool;
}
val set_flag : t -> unit