Function decode_name_array

crates/ffi/src/lean_env.rs:635–638

Decode an `@& Array Lean.Name` FFI argument into a `Vec `. Uses a fresh `GlobalCache` to deduplicate shared sub-names within the array (the cache keys by pointer identity, so repeat prefixes like `Lean.Meta.Grind.Arith.Cutsat` are decoded once). Callers don't need to manage the cache; it's dropped when this function returns. Preferred over going through `String` + `parse_name` at the FFI bo

(arr: &LeanArray<LeanBorrowed<'_>>)

/// Collect list elements as borrowed pointers (no refcount changes).
/// Uses `LeanList::to_vec` which preserves the `'a` lifetime from the
/// underlying Lean objects rather than tying it to a local borrow.
fn collect_list_borrowed<'a>(
  list: LeanList<LeanBorrowed<'a>>,
) -> Vec<LeanBorrowed<'a>> {
  list.to_vec()
}