On 2018/05/18 5:56, David Rowley wrote:
> On 18 May 2018 at 06:21, Robert Haas <robertmhaas@gmail.com> wrote:
>> All right, so let's just say that explicitly. Maybe something like
>> the attached.
>
> That looks fine to me.
Me too, except:
+ * *pds list is the root partition, so 0 always means the first leaf. When
I prefer "root partitioned table" over "root partition", and git grep
suggests that that's actually what we use elsewhere in the source code.
Thanks,
Amit