Adrian Klaver <adrian.klaver@xxxxxxxxxxx> 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
