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