@Override public Boolean caseANamedInvariantType(ANamedInvariantType node, ILexLocation q) throws AnalysisException { if (node.getOpaque() && !q.getModule().equals(node.getLocation().getModule())) return false; if (node.getEqDef() != null) return true; return node.getType().apply(this, q); }
@Override public void caseANamedInvariantType(ANamedInvariantType node, TypeCheckInfo question) throws AnalysisException if (node.getEqDef() != null)
copy.setEqDef(ntype.getEqDef()); copy.setOrdDef(ntype.getOrdDef()); list.add(AstFactory.newATypeDefinition(def.getName(), copy, null, null));