list - OCaml: 再帰関数の適応

Question

私はこの問題で一日中失ってしまいました。だから、私はそのような再帰関数を持っています:

let rec rewriteTree tree =
      rewriteElement tree c;
      List.iter rewriteTree tree.subtree in
    rewriteTree myTree

関数rewriteElementは unit () を返すため、関数rewriteTreeに問題はありません。しかし、私は自分のコードを変更し、関数rewriteElementがブール値を返すようになりました。ツリーのすべてのノードのすべてのブール値を含むブール値リストを返す必要があります。それを行う最善の方法は何ですか？私は List.map で試しましたが、コンパイラは関数が返すことをスローします (ブール値のリスト リスト)。ありがとう。