let rec fold f acc tree =
  List.fold_left (fold f)
    (f acc (tree.t_pos_left, tree.t_pos_right, tree.t_kind))
    tree.t_children