cprover
type_eq.cpp File Reference

Type Checking. More...

#include "type_eq.h"
#include <cassert>
#include "type.h"
#include "symbol.h"
#include "namespace.h"
Include dependency graph for type_eq.cpp:

Go to the source code of this file.

Functions

bool type_eq (const typet &type1, const typet &type2, const namespacet &ns)
 

Detailed Description

Type Checking.

Definition in file type_eq.cpp.

Function Documentation

§ type_eq()