Function rs_compute_sccs

crates/ffi/src/graph.rs:106–116

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

/// FFI function to compute SCCs from a Lean environment.
#[unsafe(no_mangle)]
pub extern "C" fn rs_compute_sccs(
  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 condensed = compute_sccs(&ref_graph.out_refs);
  let mut cache = LeanBuildCache::with_capacity(rust_env.len());
  let result = LeanIxCondensedBlocks::build(&mut cache, &condensed);
  LeanIOResult::ok(result)
}