#ifndef OPERETTA
#define OPERETTA
#include "parse.h"
#include "proposition.h"
char* write_prop(prop_t prop);
char* write_just(just_t just);
char* read_file(char* path);
#endif