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