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