Function export_lib 

pub fn export_lib(
    _lib_name: &str,
    version: &str,
    doc: &str,
    depends: &[String],
    specs: &[&Spec],
) -> String

Export a library pragma + all its specs to Xeto source text.