cprover
c_bit_field_replacement_type.h File Reference
#include <util/std_types.h>
#include <util/namespace.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()