Re: ​jsonb @@ jsonpath operator doc: ​Only the first item of the result is taken into account

Erik Wienhold <ewie@ewie.name> writes:
> The result is true if any array element matches the predicate because predicates
> are evaluated on sequences.  The documentation for executePredicate in
> src/backend/utils/adt/jsonpath_exec.c explains it:

I think the OP is correct that this is undocumented at the user level.
Want to propose some doc text?

            regards, tom lane