code: @Override
  	public PType caseALetStm(ALetStm node, TypeCheckInfo question)
  			throws AnalysisException
  	{
  		node.setType(typeCheckLet(node, node.getLocalDefs(),node.getStatement(),question));
  		return node.getType();
  	}
docs: TODO: Missing the other DefStatement