Vector deduplication operation

Hello, I would like to ask how to operate vector deduplication in FreeFem? For example, I have a vector, but there are many repeated elements in it. I need to remove the repeated elements and save them in a new vector. Does anyone know how to do this?

Use the Unique() operator: Unique(input, output).

Thank you very much!