fieldElementCopy function Null safety

void fieldElementCopy(
  1. FieldElement src,
  2. int srcPos,
  3. FieldElement dest,
  4. int destPos,
  5. int length
)

Implementation

void fieldElementCopy(
    FieldElement src, int srcPos, FieldElement dest, int destPos, int length) {
  dest.innerList.setRange(destPos, length + destPos, src.innerList, srcPos);
}