Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
check.h File Reference
#include <deque>
#include "thorin/def.h"
Include dependency graph for check.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  thorin::Infer
 This node is a hole in the IR that is inferred by its context later on. More...
 
class  thorin::Check
 

Namespaces

namespace  thorin