infix_opt Struct Reference

Public Attributes
const char *	rep

Detailed Description

Definition at line 30 of file format_expr.cpp.

Member Data Documentation

rep

const char* infix_opt::rep

Definition at line 32 of file format_expr.cpp.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/format_expr.cpp