Minor refactor
The prior move to the partition function renders the copying of the source data redundant in the implementation of the pivot function; the latter can now just become an alias with the desired external API applied.
The prior move to the partition function renders the copying of the source data redundant in the implementation of the pivot function; the latter can now just become an alias with the desired external API applied.