10 #ifndef CPROVER_UTIL_LISPIREP_H 11 #define CPROVER_UTIL_LISPIREP_H 19 #endif // CPROVER_UTIL_LISPIREP_H void lisp2irep(const lispexprt &src, irept &dest)
void irep2lisp(const irept &src, lispexprt &dest)
Base class for tree-like data structures with sharing.