Odoc_driver_lib.Library_namesSourceFrom a path to a Meta file, returns the list of libraries defined in this file.
libname_of_archive meta_dir libraries computes a map from the fully-qualified archive path to the name of the library. meta_path is the path of the directory where the META file is found, and libraries are the libraries defined in that META file.