()
| 80 | } |
| 81 | |
| 82 | @Override |
| 83 | public StarlarkType getStarlarkType() { |
| 84 | ImmutableList.Builder<StarlarkType> elementTypes = |
| 85 | ImmutableList.builderWithExpectedSize(size()); |
| 86 | for (Object elem : this) { |
| 87 | elementTypes.add(TypeChecker.type(elem)); |
| 88 | } |
| 89 | return Types.tuple(elementTypes.build()); |
| 90 | } |
| 91 | |
| 92 | /** Returns a two-element tuple. */ |
| 93 | public static Tuple pair(Object a, Object b) { |