typecheck → include Relation

File in src/typecheck	Includes file in include
BiTypeChecker.cpp	ast / Ast.h
BiTypeChecker.cpp	typecheck / BiTypeChecker.h
BiTypeChecker.cpp	util / LexicalContext.h
BiTypeChecker.cpp	typecheck / Types.h
BiTypeChecker.cpp	util / Utilities.h
Types.cpp	typecheck / Types.h
Types.cpp	util / Utilities.h