Adrian Klaver <adrian.klaver@aklaver.com> writes:
> On 5/18/23 08:46, Tom Lane wrote:
>> You seem to be reading some fairly old version of the documentation.
>> The extended definition that Adrian mentions has been there for
>> awhile, but the JSON operator table didn't link to it before v13.
>> (I agree that the "top level" bit was just wrong, but it's gone.)
> Can you elaborate on gone and/or wrong as I see it in the 15 and devel
> documentation.
In v12 (and probably earlier, didn't look) Table 9.45 defines @> as
"Does the left JSON value contain the right JSON path/value entries
at the top level?" [1].
regards, tom lane
[1] https://www.postgresql.org/docs/12/functions-json.html