code: private void readObject(ObjectInputStream in) throws ClassNotFoundException, NoSuchMethodException, IOException {
          result = ClassRef.read(in);
          arg = ClassRef.read(in);
          name = in.readUTF();
      }
docs: Reads this Function.
  @param   in  source to read from