3940414243444546474849
getName(), __eval); String name = org.rascalmpl.interpreter.utils.Names.typeName(this .getName()); if (theEnv != null) { Type type = theEnv.lookupAlias(name); if (type != null) { return type; }
8384858687888990919293
name = org.rascalmpl.interpreter.utils.Names.typeName(this .getName()); if (theEnv != null) { type = theEnv.lookupAlias(name); if (type == null) { type = theEnv.lookupAbstractDataType(name); } }