@override String valueToString(List<T> x) { final elements = x.map((e) => _type.valueToString(e)); return 'vec {' + elements.join('; ') + '}'; }