cprover
type_eq.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_TYPE_EQ_H
11 #define CPROVER_UTIL_TYPE_EQ_H
12 
13 class namespacet;
14 class typet;
15 
16 bool type_eq(const typet &type1, const typet &type2, const namespacet &ns);
17 
18 #endif // CPROVER_UTIL_TYPE_EQ_H
The type of an expression.
Definition: type.h:22
TO_BE_DOCUMENTED.
Definition: namespace.h:74
bool type_eq(const typet &type1, const typet &type2, const namespacet &ns)
Definition: type_eq.cpp:18