CBMC
|
#include <util/type.h>
Go to the source code of this file.
Functions | |
typet | c_bit_field_replacement_type (const c_bit_field_typet &, const namespacet &) |
typet c_bit_field_replacement_type | ( | const c_bit_field_typet & | src, |
const namespacet & | ns | ||
) |
Definition at line 15 of file c_bit_field_replacement_type.cpp.