标准ML:二叉树数据类型

Question

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

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

我怎么知道定义中的第二个选项是否意味着:

Node of (tree * int * tree)

或

Node of tree * int * tree?

谢谢,

bclayman

Answer 1

Node of (tree * int * tree)和Node of tree * int * tree是相同的