CBMC
c_bit_field_replacement_type.h File Reference
#include <util/type.h>
+ Include dependency graph for c_bit_field_replacement_type.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

typet c_bit_field_replacement_type (const c_bit_field_typet &, const namespacet &)
 

Function Documentation

◆ c_bit_field_replacement_type()

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.