Function arc_pointer_spec Copy item path

pub uninterp fn arc_pointer_spec<T>(a: Arc<T>) -> *const T