寻找 OCaml 缓冲区的大纲次要模式(使用 Tuareg 和 Merlin)

发布于 2025-01-13 15:54:41 字数 295 浏览 1 评论 0原文

我缺少 emacs Tuareg 模式中的一项功能:当前 OCaml 缓冲区的轮廓以及顶级定义列表。 Coq 的 Proof General 模式中有一个类似的功能,我发现它非常有用。是否有额外的软件包或类似的一些未记录的功能?

下面是 Proof General 中的屏幕截图:

在此处输入图像描述

I am missing one feature in emacs Tuareg mode: an outline of the current OCaml buffer with a list of top-level definitions. There is a similar feature in Proof General mode for Coq which I find very useful. If there is an additional package or some undocumented feature like this?

Below is a screenshot how this looks in Proof General:

enter image description here

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。
列表为空,暂无数据
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文