VSCode中OCaml的Set.Make/Map.Make出现/1.怪异注解的原因

这个/1.是OCaml语言服务器（ocamllsp）在展示类型信息时的内部标识，并非OCaml语法本身的内容，具体成因如下：

• 模块层级的歧义规避：OCaml标准库中Set模块内部嵌套了OrderedType签名，/1.用来标记这是第一层嵌套的签名，避免和用户自定义或其他模块中同名的OrderedType混淆，本质是语言服务器用来明确模块路径层级的简化标记。
• 函子类型的清晰展示：对于Set.Make这类接收签名参数的函子，ocamllsp用/1.强调OrderedType是直接隶属于顶层Set模块的子元素，而非更深嵌套的同名元素，让悬停提示的类型信息更具指向性。
• 仅为展示层的特殊格式：你编写代码时完全不需要写这个标识，OCaml编译器也不会识别它，它只是VSCode通过ocamllsp输出类型提示时的专属格式，核心作用是消除模块命名的歧义。

比如你看到的functor (Ord : Set/1.OrderedType)，对应标准的OCaml写法就是functor (Ord : Set.OrderedType)，/1.仅用来明确嵌套层级。

内容的提问来源于stack exchange，提问作者Yanny