const cl_GV_I copy (const cl_GV_I& v)
{
- var uintC len = v.size();
- var cl_GV_I w = cl_GV_I(len,v.maxbits());
- cl_GV_I::copy_elements(v,0,w,0,len);
+ std::size_t len = v.size();
+ cl_GV_I w = cl_GV_I(len, v.maxbits());
+ cl_GV_I::copy_elements(v, 0, w, 0, len);
return w;
}