Clarification of "void" type

The section on pseudo-types names "void" and describes is thusly:

"""
Indicates that a function returns no value.
"""

This can be reasonably interpreted to mean: "Use this when you don't want
the execution of a function to return a value." (i.e., the empty set)

The following paragraph, suitably marked up, would be a nice addition:

If a function declares "RETURNS void" the result of executing the function
will be a single row and column whose type pg_typeof() returns "void".
Void is not null and typically displays textually as the empty string.

I'd maybe modify the table to read:

void : A value that has no content: used to indicate that a function
returns no value.

https://www.postgresql.org/docs/devel/static/datatype-pseudo.html

David J.