Module Backend__CallGraph.Node
type t= private{id : int;pname : IR.Procname.t;mutable successors : int list;mutable flag : bool;}
Backend__CallGraph.Nodetype t = private {id : int; |
pname : IR.Procname.t; |
mutable successors : int list; |
mutable flag : bool; |
}