我正在尝试探索该项目：https://github.com/kupl/VeriSmart-public。我正在尝试使用 VS 代码的“转到定义”功能，但即使安装了官方 Ocaml 扩展，它也无法正常工作。
我已经安装了 opam 并使用了 switch ocaml 4.10.0，并且可以按照构建脚本（这只是一个 ocamlbuild 命令）成功构建存储库。此外，我已经在 VS 代码中尝试了几乎所有相关的 ocaml 扩展（甚至已弃用）。
我认为问题可能是因为代码是为 ocamlbuild 而不是 dune 编写的。那么有什么方法可以在 VS 代码上使用存储库的定义？