cprover
c_bit_field_replacement_type.cpp File Reference
Include dependency graph for c_bit_field_replacement_type.cpp:

Go to the source code of this file.

Functions

typet c_bit_field_replacement_type (const c_bit_field_typet &src, const namespacet &ns)
 

Function Documentation

§ c_bit_field_replacement_type()