code: private void writeObject(ObjectOutputStream out) throws IOException {
          ClassRef.write(out, result);
          ClassRef.write(out, arg);
          out.writeUTF(name);
      }
docs: Writes this Function.
  @param  out  target to write to