对子树做另外一些事。 这种互递归定义可以转换为单个递归，这是通过森林定义内部化：一颗树"t"包含一对：值"v"与子树的列表。这个定义更紧致，但是更难以处理：一棵树是一种类型的值与另一种类型的列表组成的一对，这要求解析开以证明结果。 在Standard ML，树与森林可互递归定义如下，允许空树：datatype 'a tree = Empty | Node of 'a * 'a forestand 'a forest = Nil | Cons of 'a tree * 'a forestSe