"David G. Johnston" <david.g.johnston@gmail.com> writes:
> On Saturday, April 6, 2024, PG Doc comments form <noreply@postgresql.org>
> wrote:
>> Under 43.3.1, "Notice that we omitted RETURNS real — we could have included
>> it, but it would be redundant."
>> Should that be "RETURNS tax" instead of "RETURNS real"?
> The docs are correct.
Specifically, that bit is a declaration of the data type of the
function's result, not a specification of how to compute it.
regards, tom lane