Ocaml 类型定义中的两个下划线符号

我正在学习OCaml并试图理解以下代码：

type 'a inL = __

OCaml中的两个下划线是什么意思？

---

我应该在哪里找到难以用谷歌搜索的语法元素的含义呢？

据我所知，它没有特殊含义。但它是一个有效的标识符，因此使用该名称定义一个类型将对其进行编译：

type\uui=int-type'a inL=\uui

。你在哪里找到的？周围环境如何？@glennsl谢谢，这正是我一直在寻找的信息。这是一个生成的代码。