如何从OCaml代码中提取类型定义

Question

有没有办法从一堆OCaml文件中提取所有类型定义？我总是可以将它们剪切并粘贴到一个单独的编辑器选项卡中，在那里可以很容易地以一种尽可能多地在屏幕上显示信息的方式来盯着它们。然而，这是一件苦差事，我宁愿让它自动化。

为了使其精确，Emacs和tuareg模式已经向我展示了所有功能的类型，但我还想要的是能够收集每种类型实际上是什么的好的备忘单。对于模块，显然有mli文件，但是对于其他一切将它们收集到一个地方以快速获得一堆代码的概述很烦人。

Answer 1

要理解你的要求是非常困难的。如果我将每个人的建议收集到一个地方，也许会有所帮助。

正如nlucaroni指出的那样，你不能说你有一个模块的解决方案，但你想要的东西适用于其他一切。没有别的。所有OCaml代码都是模块的一部分。

你说mli文件没问题。如果一个模块没有mli文件，你可以使用ocamlc -i生成一个mli文件，正如camlspotter所说。

如果这不起作用，请举例说明一些OCaml代码以及您希望为其查看的提取定义。