Module type CallGraph.NodeSig
type t= private{id : int;pname : IR.Procname.t;mutable successors : int list;mutable flag : bool;}
CallGraph.NodeSigtype t = private {id : int; |
pname : IR.Procname.t; |
mutable successors : int list; |
mutable flag : bool; |
}