Module Backend.ReverseAnalysisCallGraph
val build : CallGraph.t -> unitBuild the graph from the summaries in the .specs files
Backend.ReverseAnalysisCallGraphval build : CallGraph.t -> unitBuild the graph from the summaries in the .specs files