@Override public PType caseALetDefExp(ALetDefExp node, TypeCheckInfo question) throws AnalysisException { node.setType(typeCheckLet(node, node.getLocalDefs(), node.getExpression(), question)); return node.getType(); }
letExp.setType(def.getInvExpression().getType().clone()); List<PDefinition> invDefs = new Vector<PDefinition>(); AEqualsDefinition local = new AEqualsDefinition();