Modules gain access to declarations in other modules via the import mechanism. For example, a main module cannot use types or procedures defined in the IO Interface until it explicitly imports the definitions using the IMPORT statement like this:
IMPORT IO;
Once a module's declarations are imported, they are referenced by prefixing their names with the name of the module and a period (.) like this:
IO.Put("Hello, world.");