}
public Type declareAbstractDataType(UserType decl, Environment env) {
QualifiedName name = decl.getName();
if (Names.isQualified(name)) {
throw new IllegalQualifiedDeclaration(name);
}
return env.abstractDataType(Names.typeName(name), computeTypeParameters(decl, env));
}