Types 如何打字？

如果已声明以下数据类型：

数据类型'a data=None |列表中的单个|列表的多个

---

我需要创建一个函数，它接收多个，如果它只包含一个对象，那么它将返回该对象，但作为单个对象，否则它只返回多个。可能吗？

您所问的是可能的，它与类型转换无关（更不用说类型转换了，它是一种语法结构，用于在允许类型转换的语言中表示类型转换，ML则不允许）。构造函数（如

Single

和

Multiple

）不是类型。有什么建议可以这样做吗？有：使用模式匹配。我不能提供这个函数，因为我只能读取标准ML，不能编写它。