This function extends the current namespace with the definitions in the library, if any library is set. If not, it does nothing.