7   out << 
"# " << header.
url << 
"\n";
 
   13   for (
auto i = 0; i < csv.
types.size(); i++) {
 
   14     out << 
"export " << csv.
names[i] << 
"=" << csv.
numbers[i] << 
"\n";
 
void convertHeader< SHELL >(std::ostream &out, const Header &header)
 
void convertCSV< SHELL >(std::ostream &out, const CSV &csv)
 
std::vector< std::string > numbers
 
std::vector< std::string > types
 
std::vector< std::string > names