@remove_duplicate(t:tab)


keep only one occurrence of each element in t. Elements not removed are kept in order and t is modified in place.