我有以下数据类型：
数据类型'n tree ='的叶子'n | 'n树列表
的分支数据类型'n tagged_tree ='a'的T_Leaf | 'n *'n tagged_tree list
的T_branch我真的不知道如何通过第二个“树”（第二个数据类型 - tagged_tree），以及如何检查树中的每个节点。我已成功地使用未标记的树（包含叶子或子树）。 “leaf”是我的基本情况，我用“map”函数和'tree'上的递归完成了剩下的工作，但我不能在'n *'n tagged_tree上做到这一点。
你可以请我带头吗？ 非常感谢你！（标记树表示所有节点都有一些值，而未标记的树只有叶子中的值..）