标准 ML：二叉树数据类型

Question

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

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

我怎么知道定义中的第二个选项是否应该表示：

Node of (tree * int * tree)

或

Node of tree * int * tree?

谢谢，

克莱曼

Answer 1

Node of (tree * int * tree)和Node of tree * int * tree是一样的