use(Package) -- activate a previously dismissed package

• Function: use

• Usage:

  use PACKAGENAME

• Inputs:
  • PACKAGENAME, a package, which was previously loaded, and then dismissed.
• Consequences:

  • activates the package, making all of its exported symbols visible
  • runs the function stored under the key
  • symbol use
  • in the package, if there is one

i1 : loadPackage "FirstPackage"

o1 = FirstPackage

o1 : Package

i2 : firstFunction

o2 = firstFunction

o2 : MethodFunction

i3 : dismiss FirstPackage

o3 = FirstPackage

o3 : Package

i4 : firstFunction	

o4 = firstFunction

o4 : Symbol

i5 : use FirstPackage

o5 = FirstPackage

o5 : Package

i6 : firstFunction

o6 = firstFunction

o6 : MethodFunction