5556575859606162636465
throw new UndeclaredModule( org.rascalmpl.interpreter.utils.Names .moduleName(sort), sort); } adt = mod.lookupAbstractDataType(name); } else { adt = env.lookupAbstractDataType(name); } if (adt == null) {