blob: 56f947e520de30e98102a290a72f71438803a7d1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#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 */
|