const Type* SymTab::typeCheck() { for (SymTab::iterator it = begin(); (it != end()); ++it) { SymTabEntry *ste = (SymTabEntry *)(*it); ste->typeCheck(); } return &(Type::voidType); }