void load_integer_csv(const std::string &file_name, std::function< void(const std::vector< int > &)> Action, std::optional< std::function< void(const std::vector< std::string > &)> > HeaderAction)
Load an integer CSV file, doing some Action on each row.
Definition load_integer_csv.cxx:57