In OCaml 5.3's cmts the uids contain information indicating there origin (an implementation or an interface). In this PR we use that information to jump to interface files when needed.
This fixes issue #1848
(only the last 2 commits are relevant as this is based on the upgrade to 5.3)
In OCaml 5.3's cmts the uids contain information indicating there origin (an implementation or an interface). In this PR we use that information to jump to interface files when needed.
This fixes issue #1848
(only the last 2 commits are relevant as this is based on the upgrade to 5.3)