CBMC
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: