Function rs_refcount_owned_array_drop

crates/ffi/src/refcount.rs:106–114

(
  arr: LeanArray<LeanOwned>,
)

/// The owned array is dropped at the end → lean_dec_ref on each element.
#[unsafe(no_mangle)]
pub extern "C" fn rs_refcount_owned_array_drop(
  arr: LeanArray<LeanOwned>,
) -> LeanOwned {
  let count = arr.len();
  for i in 0..count {
    let _ = LeanIxName(arr.get(i)).decode();
  }
  LeanNat::from_nat(&Nat::from(count as u64)).into()
}

/// Take an owned List of Exprs, consume and count.
#[unsafe(no_mangle)]