Sml 正在尝试定义`$`类型

使用新泽西州的标准ML（v110.77），我试图从纯功能数据结构中定义

$

数据类型：

数据类型alpha susp=$of alpha

但我有一个错误：

-数据类型alpha susp=$of alpha；
stdIn:1.11-2.7错误：语法错误：删除ID EQUALOP

---

我做错了什么？

在标准ML中，类型变量的前缀是一个引号：

datatype'alpha susp=$of'alpha

在标准ML中，类型变量的前缀是一个引号：

datatype'alpha susp=$of'alpha

+1。请注意，编写

'a

而不是

'alpha

实际上是一种惯例（尽管我们确实将其发音为“alpha”）。+1。请注意，编写

'a

而不是

'alpha

实际上是一种惯例（尽管我们确实将其发音为“alpha”）。