// throw new ImplementationError(null);
}
return new TypedMultiVariablePattern(eval, this, type, arg.getName());
}
if(arg.hasQualifiedName()){
return new MultiVariablePattern(eval, this, arg.getQualifiedName());
}
throw new ImplementationError(null);
}