You can always qualify the full name unless you're importing a specific symbol, e.g.:
module A; import B : fun1; module C; import A; fun1(); // ok B.fun1(); // not ok B.fun2(); // not ok static import just means you can't use the symbol without qualifying the full package/module name before it: module A; static import B; module C; import A; B.fun1(); // ok B.fun2(); // ok fun1(); // not ok I think that should be it.
