12 #ifndef CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H 13 #define CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H 27 #endif // CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H Goto Programs with Functions.
void document_properties_html(const goto_functionst &goto_functions, std::ostream &out)
void document_properties_latex(const goto_functionst &goto_functions, std::ostream &out)