要编译并打印OCaml函数，可以按照以下步骤进行：

1. 创建一个OCaml源文件，例如example.ml，并在其中定义一个函数。例如，下面的代码定义了一个简单的函数，将两个整数相加并返回结果：

let add_numbers a b =
  a + b

2. 使用OCaml的编译器将源文件编译为可执行文件。在终端中，使用以下命令运行编译器：

ocamlc -o example example.ml

3. 编译成功后，将生成一个名为example的可执行文件。

4. 在终端中运行可执行文件，以打印函数的结果。使用以下命令：

./example

5. 可以在代码中添加一些打印语句，以便在执行函数时输出结果。例如，在example.ml文件中添加以下代码：

let add_numbers a b =
  let result = a + b in
  print_string "The result is: ";
  print_int result;
  print_newline ();
  result

6. 重新编译源文件并运行可执行文件，以查看打印的结果。

以上是一个简单的示例，演示了如何编译和打印OCaml函数。根据实际需求，你可以根据这个示例进行修改和扩展。