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 2922 "./lpsrc/flx_tutorial.pak" 2: header "#include <iostream>"; 3: module X { 4: type int = "int"; 5: proc print: int = "std::cout << $1;"; 6: proc endl: 1 = "std::cout << std::endl;"; 7: } 8: 9: use X::int; 10: use eol = X::endl; 11: 12: val x:int = 1; 13: use y = x; 14: X::print y; eol; 15:
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.