typecheck → util Relation

File in includetypecheck	Includes file in includeutil
BiTypeChecker.h	LexicalContext.h
LinearTypeChecker.h	Utilities.h
Types.h	Utilities.h