ポイントは、テスト風の部分です。

income 100 は関数を実行しているわけですが、その返り値と 1300000 が等価かどうかを判定しています。合っていれば true が返ります。

OCaml
let base = 1000000
let per_hour = 3000

let income h = h * per_hour + base

let man_1 = income 100

(* test を書く *)
let man_2 = income 100 = 1300000