#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 */