pub fn build_function_summary_graph_v1(
control_flow: &ControlFlowGraphV1,
call_facts: &FunctionCallFactsV1,
) -> Result<FunctionSummaryGraphV1, FunctionSummaryErrorV1>Expand description
Builds direct summaries and, only for complete call coverage, transitive facts.