Is there a function for this?

[Seb]

On Saturday, 6 October 2018 at 13:56:32 UTC, bauss wrote:
> On Saturday, 6 October 2018 at 13:35:38 UTC, Basile B wrote:
>> On Saturday, 6 October 2018 at 13:17:22 UTC, bauss wrote:
>>> [...]
>>
>> see 
>> https://www.programming-idioms.org/idiom/119/deduplicate-list.
>
> Did you even read my post? I stated I could already write the 
> function myself, but if a standard function existed I'd rather 
> use that.

He did and x.redBlackTree[] isn't too bad!