CBMC
|
Internal Representation. More...
Go to the source code of this file.
Functions | |
const irept & | get_nil_irep () |
static void | indent_str (std::string &s, unsigned indent) |
Variables | |
irept | nil_rep_storage |
Internal Representation.
Definition in file irep.cpp.
|
static |