docs: void setHalfEdgeUserIndex(int half_edge, int index, int value) {
  		int i = getHalfEdgeIndex_(half_edge);
  		AttributeStreamOfInt32 stream = m_edgeIndices.get(index);
  		if (stream.size() <= i)
  			stream.resize(m_halfEdgeData.size(), -1);
  
  		stream.write(i, value);
  	}