Function Erf.writeToFile

Efficient writing to file, with less RAM consumption

void writeToFile (
  File file
);