Note that you can't sensibly use a name from an opened module, nor open a module using a used name (even as a prefix).
1: #line 5052 "./lpsrc/flx_tutorial.pak" 2: //Check use directive 3: header "#include <iostream>"; 4: module X { 5: type int = "int"; 6: proc print: int = "std::cout << $1;"; 7: proc endl: 1 = "std::cout << std::endl;"; 8: } 9: 10: use X::int; 11: use eol = X::endl; 12: 13: val x:int = 1; 14: use y = x; 15: X::print y; eol;
1: 1
use qualified_name; use new_name = old_qualified_name;The first form requires a proper qualified name and is equivalent to the second form, where the new_name is the last component of the qualified_name.