10#ifndef CPROVER_UTIL_XML_IREP_H
11#define CPROVER_UTIL_XML_IREP_H
There are a large number of kinds of tree structured or tree-like data in CPROVER.
xmlt xml(const irep_idt &property_id, const property_infot &property_info)
void convert(const irept &irep, xmlt &xml)
xmlt xml(const source_locationt &)