recursion - OCaml fold_tree と紛らわしい再帰

Question

誰かがこのコードを理解するのを手伝ってくれるなら:

let rec fold_tree f (T(x,l))=
  f x (map (fold_tree f) l);;

使い方？私は主に再帰を意味します。