Question

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

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

'＆lt;'的含义是什么？和'＆gt;'在这个定义？它几乎看起来像一个记录声明 - 它只是一个记录声明的替代语法吗？

Answer 1

它表示对象类型。对于此示例，它是具有名为run和block的方法的对象类型，而没有其他方法。