CBMC
|
ANSI-C Language Type Checking. More...
Go to the source code of this file.
Classes | |
class | designatort |
struct | designatort::entryt |
Functions | |
std::ostream & | operator<< (std::ostream &os, const designatort &d) |
ANSI-C Language Type Checking.
Definition in file designator.h.
|
inline |
Definition at line 63 of file designator.h.