在进行二叉树遍历时，有几种常见的遍历方式：先序遍历、中序遍历、后序遍历、层序遍历等。其中先序遍历和后序遍历使用递归比较方便，而中序遍历和层序遍历常使用迭代实现。

我们可以使用 OCaml 语言为例，给出一个能够处理任意类型的二叉树遍历和打印的代码示例。下面是一个简单的二叉树实现和一个遍历二叉树并打印节点值的函数：

type 'a bt = Empty | Node of 'a * 'a bt * 'a bt

let rec preorder_print_bt bt =
  match bt with
  | Empty -> ()
  | Node (v, l, r) ->
      print_string (" " ^ string_of_int v);
      preorder_print_bt l;
      preorder_print_bt r

上述代码中，我们定义了一个二叉树类型 bt，并给出了前序遍历并打印节点值的函数 preorder_print_bt。在遍历过程中，首先输出当前节点的值，然后以同样的方式递归遍历左子树和右子树。需要注意的是，当节点为空时，我们没有任何操作。

这里我们只是给出了前序遍历的例子，对于中序遍历、后序遍历、层序遍历以及其它更复杂的遍历方式，我们可以采用类似的方式实现。并且由于OCaml 是一种支持高阶函数的语言，我们可以使用一些函数式编程的技巧来实现更加复杂的遍历方式。