#ifndef OPERETTA
#define OPERETTA
#include "parse.h"
#include "proposition.h"
void write_line(line_t line);
void write_prop(prop_t prop);
char* read_file(char* path);
#endif