什么'；这是'<'；和'&燃气轮机'；围绕OCaml类型定义？

我遇到了一些具有以下类型定义的OCaml代码：

type thread = < run : thread list ; block : bool >

type-thread=

---

在这个定义中，“”的含义是什么？它看起来几乎像一个记录声明——它只是记录声明的一种替代语法吗？

它表示一种对象类型。对于本例，它是一种对象类型，具有名为

run

和

block

的方法，没有其他方法。

它是一种方法，因此run方法是否采用线程列表参数？而block方法需要一个bool？