}
Type resultType = TF.listType(elementType);
IListWriter w = __eval.__getVf().listWriter();
w.appendAll(results);
return org.rascalmpl.interpreter.result.ResultFactory.makeResult(resultType, w.done(), __eval);
}
@Override
public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
Type elementType = TF.voidType();