Erlang 能否在typespec中为set（）指定类型？

我想指定一个仅为集合的类型，即：

-type itemset() :: set(integer()).

在erlang有可能吗

---

只是好奇。

Set在Erlang中不是基元类型，因此没有基元类型规范。但是，如果您有一个定义和导出此类类型的模块，那么您可以从另一个模块引用它

例如，如果您所引用的集合是在stdlib的sets模块中定义的集合，那么您可以这样使用它：

-type itemset() :: sets:set(integer()).

请注意对集合模块的引用

如果需要模块外的类型，还可以使用-type和-export\u type创建自己的set定义。查看此处的第7.3节：

---

完成后，只需将集合替换为您自己定义的集合所在的模块。

集合在Erlang中不是基元类型，因此没有基元类型规范。但是，如果您有一个定义和导出此类类型的模块，那么您可以从另一个模块引用它

例如，如果您所引用的集合是在stdlib的sets模块中定义的集合，那么您可以这样使用它：

-type itemset() :: sets:set(integer()).

请注意对集合模块的引用

如果需要模块外的类型，还可以使用-type和-export\u type创建自己的set定义。查看此处的第7.3节： 完成后，只需将集合替换为您自己定义的集合所在的模块