© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
0e1f616
(Get the code!)
My feeling on this: if a symbol is exported "officially" for use by users in their programs, it should work. And if the symbol is not intended for use by users, it should not be external in that internal package.
The use came from PVS, btw, where three packages shadowing-import it from sb-int.