@Override public PType caseAImportedDefinition(AImportedDefinition node, TypeCheckInfo question) throws AnalysisException { node.setType(node.getDef().apply(THIS, question)); return node.getType(); }
@Override public PType caseAImportedDefinition(AImportedDefinition node, TypeCheckInfo question) throws AnalysisException { node.setType(node.getDef().apply(THIS, question)); return node.getType(); }