@NotNull
@Override
public Type transform(State s) {
if (elts.size() == 0) {
return new ListType(); // list<unknown>
}
ListType listType = new ListType();
for (Node elt : elts) {
listType.add(transformExpr(elt, s));
if (elt instanceof Str) {
listType.addValue(((Str) elt).value);
}
}
return listType;
}