OCaml 中的數據類型定義中的方括號 `[` 和 `]` 是什么意思？

Question

我看到了以下內容：

type rlevel = [
| `rlevel
]

但我以前從未見過這種情況，而且 ADT（代數數據類型）的教程不是很有幫助，OCaml 語法也不是。

這是什么意思？

Answer 1

類型rlevel是多態變體類型 ( https://ocaml.org/manual/polyvariant.html ) 的類型縮寫，它只包含一個構造函數`rlevel 。