围绕OCaml类型定义的'<'和'>'是什么意思?

ane*_*eal 2 ocaml

我使用此类型定义运行了一些OCaml代码:

type thread = < run : thread list ; block : bool >
Run Code Online (Sandbox Code Playgroud)

这个定义中'<'和'>'的含义是什么?它几乎看起来像一个记录声明 - 它只是一个记录声明的替代语法?

Jef*_*eld 5

它代表一种对象类型.在这个例子中它与命名方法的对象的类型runblock,并没有其他的方法.