etags, но необязательно, поддерживается global, оно интегрируется с разными там lfs — eglot не требует (не требовал?) генерации базы. Есть масса клонов etag специально для окамла, ну вот Гугл пишет про какой-то otags, посмотреть можно в выдаче Гугла, там много всего
Я лично этим не особо пользуюсь, потому что если для навигации нужна аж целый плагин - значит или с проектом что-то не то, или с головой. Или оба сразу.
Спасибо! А что вы посоветуете для головы?
Стикер
Xref это просто интерфейс для кросс ссылок. Всякие Tags это просто один из бэкендов, как и лсп
Обсуждают сегодня