Function rs_build_ref_graph

crates/ffi/src/graph.rs:93–102

(
  env_consts_ptr: LeanList<LeanBorrowed<'_>>,
)

/// FFI function to build a reference graph from a Lean environment.
#[unsafe(no_mangle)]
pub extern "C" fn rs_build_ref_graph(
  env_consts_ptr: LeanList<LeanBorrowed<'_>>,
) -> LeanIOResult<LeanOwned> {
  let rust_env = decode_env(env_consts_ptr);
  let rust_env = Arc::new(rust_env);
  let ref_graph = build_ref_graph(&rust_env);
  let mut cache = LeanBuildCache::with_capacity(rust_env.len());
  let result = build_ref_graph_array(&mut cache, &ref_graph.out_refs);
  LeanIOResult::ok(result)
}

/// FFI function to compute SCCs from a Lean environment.
#[unsafe(no_mangle)]