The use REPL command is used to import the exported variables of other modules. module gives the name of the module whose variables are to be bound in the current environment.
If the named module is not currently linked, the system will attempt to locate the corresponding mif file and link the module, before importing it.