skill中如何归类list中的元素，删除重复的元素，有没有什么函数可以实现

一杯清茶

如下（仅举例包含有限个元素的list），a中有重复的元素，b中没有，现在要将b处理成b的形式，删除重复的元素并归类，b中元素的顺序不做要求。有没有函数可以实现，或者可以针对很多个元素实现此目的的算法？

a=list('("str1" "str2") '("str2" "str3") '("str1" "str2") '("str2" "str3") '("str1" "str2") '("str1" "str2") '("str1" "str3"))
b=list('("str1" "str2") '("str2" "str3") '("str1" "str3"))

betamelody

unique(a)

一杯清茶

betamelody 发表于 2017-12-19 17:26
unique(a)

感谢大侠指点，实现了。但是貌似这个函数在手册里没有找到呢，难道是外部函数？

betamelody

内部函数,只在cadence的部分产品中有效