12 #ifndef CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H
13 #define CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H
void document_properties_html(const goto_modelt &, std::ostream &out)
void document_properties_latex(const goto_modelt &, std::ostream &out)