The issue seems to be that I should use the relative path when importing from `ncollection_types`: import ../standard/standard_types Run
- Undeclared identifier despite being imported mantielero
- Undeclared identifier despite being imported mantielero
The issue seems to be that I should use the relative path when importing from `ncollection_types`: import ../standard/standard_types Run