val name : t -> Lib_name.tname l is the library name of l.
val cmis : t -> B00_std.Fpath.t listcmis l is the list of cmis for the library.
val dir : t -> B00_std.Fpath.tdir l is the path to the library directory. Incidentally this is also the path to the library includes.
val archive : code:Cobj.code -> t -> B00_std.Fpath.tarchive ~code l is the path to the library archive for code c. Not checked for existence.