Functional programming 标准ML：二叉树数据类型

我的笔记包括以下二叉树的定义：

datatype tree = Empty | Node of tree * int * tree

我如何知道定义中的第二个选项是否意味着：

Node of (tree * int * tree)

或

谢谢

---

b外行

节点（树*int*树）

和

节点树*int*树

是一样的

我想它可能是

（树的节点）*int*树

…再次感谢@b外行：数据类型声明中的每个分支要么是

构造函数

要么是

类型的构造函数

。所以

（树的节点）*int*tree

的格式不好。顺便说一句——如果马特的答案解决了你的问题，那么感谢他的最好方式就是点击答案左边的绿色复选框来“接受”答案。这会让其他人知道你的问题已经解决，并会给他+15点声誉积分（你自己+2）。

Node of tree * int * tree?