#ifndef __EXPR_TO_XML_H
#define __EXPR_TO_XML_H
#include <string>
#include <map>
#include "nixexpr.hh"
void printTermAsXML(Expr e, ostream & out);
#endif /* !__EXPR_TO_XML_H */