c_bit_field_replacement_type.cpp File Reference

#include "c_bit_field_replacement_type.h"
#include <util/c_types.h>
#include <util/invariant.h>
#include <util/namespace.h>

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()

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.