While trying to hide the underlying implementation types of c_ptr and c_array from docs, I discovered there is really no easy way to do that at the moment for non-builtin types.

On that issue Brad suggested the addition of an attribute that causes a symbol to be rendered as type c_ptr (or whatever symbol) instead of class c_ptr or record c_ptr. (I think we might want this for other aggregate types (unions) as well, or even more symbols.) I am in favor of this suggestion, though we would need some design discussion on the attribute.

I have a prototype of such an attribute at #23524.

This is a proposal for post-2.0; I used a hacky solution for the immediate problem in CTypes. If/when it is implemented the hack can be removed.