You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If the second is linked with --open To_open then both references in module X are resolved, but only the second is resolved when they appear in the output of the {!modules}.
The text was updated successfully, but these errors were encountered:
Given a file
to_open.mli
containingand a file containing:
If the second is linked with
--open To_open
then both references in moduleX
are resolved, but only the second is resolved when they appear in the output of the{!modules}
.The text was updated successfully, but these errors were encountered: