|
cprover
|
ANSI-C Language Type Checking. More...
#include "ansi_c_declaration.h"#include <ostream>#include <cassert>#include <util/config.h>#include <util/std_types.h>Go to the source code of this file.
ANSI-C Language Type Checking.
Definition in file ansi_c_declaration.cpp.