code: public void typeCheck(AFromModuleImports ifm, ModuleEnvironment env)
  			throws AnalysisException
  	{
  		TypeCheckVisitor tc = new TypeCheckVisitor();
  		TypeCheckInfo question = new TypeCheckInfo(af, env, null, null);
  
  		for (List<PImport> ofType : ifm.getSignatures())
  		{
  			for (PImport imp : ofType)
  			{
  				imp.apply(tc, question);
  			}
  		}
  
  	}
docs: Overloads the typeCheck method of this class.