verify Directory Reference

Files
file	icmds.cpp [code]
file	typecheck-builtins.inc [code]
file	typecheck-common.cpp [code]
file	typecheck-common.hpp [code]
file	typecheck-fields.inc [code]
file	typecheck-invoke.inc [code]
file	typecheck-multianewarray.inc [code]
file	typecheck-stackbased.cpp [code]
file	typecheck-typeinferer.cpp [code]
file	typecheck-typeinferer.hpp [code]
file	typecheck.cpp [code]
	Typechecker.
file	typecheck.hpp [code]
file	typeinfo.cpp [code]
file	typeinfo.hpp [code]