5.2.4.1.14 Destroying a Library Name Pseudo-Object

The destroy operation destroys library name pseudo-objects.

void destroy();