Define Type Checker In Compiler Design