Draft: Add note to Builtin.Syntax about unique names for DLL imports
What does this MR do?
Add a note about the uniqueness of library import files.
Changes to public APIs
n.a.
Author's checklist (required)
-
If bugs have been solved, tests have been added (guidelines) -
Newly added code is documented (guidelines) -
Newly added code has a style consistent with the rest of the repository -
Intermediate commits compile (use git rebase -i main
if not)
Related issues
The issue was observed in clean-and-itasks/abc-interpreter!222 (merged) .