树结构程序

Question

嗨，我正在尝试使此功能正常工作，但似乎无法找出错误。有没有人可以帮忙？

let rec map s t = 
   match t with 
   | A v        -> A s v
   | T B(v,t1)  -> B(s v, map s t1)
   | C(v,t1,t2) -> C(s v, map(s, t1), map(s,t2));;

而且我有这个声明

type T<'a> = | A of 'a 
             | B of 'a * T<'a> 
             | C of 'a * T<'a> * T<'a>

Answer 1

我自己弄清楚了，但是非常感谢！现在，我试图扩展该声明，以能够构造具有任意数量的子树的节点，但是我真的不知道该怎么做。有人有什么主意吗？