|
CBMC
|
#include <util/type.h>
Include dependency graph for merged_type.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | merged_typet |
| holds a combination of types More... | |
Functions | |
| const merged_typet & | to_merged_type (const typet &type) |
| conversion to merged_typet More... | |
| merged_typet & | to_merged_type (typet &type) |
| conversion to merged_typet More... | |
|
inline |
conversion to merged_typet
Definition at line 29 of file merged_type.h.
|
inline |
conversion to merged_typet
Definition at line 39 of file merged_type.h.