すみません、SMLなんですけど、
datatype 'a tree = Nd of ('a * (('a tree) list));
というデータ型はどういうデータなんでしょうか?
例えばaをint型とした場合、Nd(1, [Nd(1, […, …]), Nd(1, […, …]), …]);
という形になると思うんですが、通常のtree型と違ってEmptyの定義がないために、
一番先の葉の部分をどういう風に記述していいのかわかりません。
このデータ型はどういうふうに表せばいいのでしょうか?