module gets imported via IMPORTS [...] imported via IMPORTS .

, which import another module [...] that the imported visualizations

END_SEC , IMPORTS , [...] Spec} {ImportsSpec} {MBody [...] {ImportsSpec} ::=

be exported and imported

with IMPORTS , the section

IMPLEMENTED_BY or IMPORTS