ocaml - 从控制台检查库 (.cma) 签名

Question

假设我有一个 OCaml 库文件 foo.cma。是否有一个命令行工具来打印那里定义的函数和其他类型的签名？ ocamlbrowser 实用程序似乎是基于 Windows 的(提示 $DISPLAY 环境变量)。用例是我正在做一个:

ocamlc -c foo.cma main.ml

并得到:

File "main.ml", line 13, characters 33-47:
Error: Unbound value ListUtil.split

ListUtil.split 应该驻留在 foo.cma 中，但我不知道一个基于控制台的工具来验证它。

Answer 1

在 Debian/Ubuntu 上，您有“ocamlobjinfo”:

ocamlobjinfo stdlib.cma

将显示 stdlib.cma 中包含的所有单元名称。然后，您可以创建一个短文件:

include SomeModule

并用 -i 编译它以查看模块 SomeModule 中定义的内容。