#ifndef FILE_IO_HH
#define FILE_IO_HH

#include <fstream>

void file_goto_next_char (std::ifstream& f, char c);
void file_goto_next_colon(std::ifstream& f);
void file_goto_next_newline(std::ifstream& f);

#endif