OCaml返回值

| 在“使用OCaml开发应用程序”一书中，有关于返回值的以下解释：   由于分号前面的值将被丢弃，因此当Objective CAML不是单位类型时，它会发出警告。

# print_int 1; 2 ; 3 ;;
Characters 14-15:
Warning: this expression should have type unit.
1- : int = 3


To avoid this message, you can use the
function ignore:

# print_int 1; ignore 2; 3 ;; 
1- : int = 3`

我不明白为什么

2

的返回值与

unit

不同，因为我的意图不是返回

2

，而是返回

3

。以我的理解，最后一条指令之前的任何指令都不是函数的返回值，那么为什么要警告呢？ 我在所有代码中都一直发出这个警告，对我来说很清楚，我不太了解OCaml中的返回值是如何工作的。 谢谢你的帮助。