在Ocaml中使用新格式将树转换为另一棵树

Question

我想在树上转换为另一棵不同类型的树，大约1周我尝试了不同的解决方案，但我没有成功，请帮助我。 我的代码是：

type (a',b') Tree = Lead of a'| Noeud of b'*a'*(a',b')Tree list
type strTree = st of int | Leaf of String | Tree of string *Strin* strTree list
val Tree-strTree :(a'->string)->(b'->string)->(a',b')Tree -> strTree

let Tree-strTree p pp a =
   let rec mapA a' = match a' with
     | Lead _ -> Tree ("","",[])
     | Noeud (f,r,l)-> Tree(p f ,pp r ,fold_left(fun x y->x @ [mapA y])[] l)
   in
   mapA  a 

  

错误：未绑定的值fold_left

我不知道如何使用fold_left

Answer 1

rand()模块中有fold_left个函数。您只需要提供模块的名称：

List

但是，正如其他人已经注意到您的代码还存在许多其他问题，至少在此处已经显示过。