在表达式排序中尾部分号是可选的吗？

Question

let t =
  let a = 1 in
  ();
  let b = 2 in
  a + b;

此 Ocaml 代码运行良好。请注意，

a + b

后的尾随分号

根据 Ocaml express sequencing，Ocaml 将排序语法定义为表达式和分号的交替序列，例如

<expr>;<expr>...

所以，我预计会出现编译错误，但事实并非如此。 为什么这段代码运行良好？