code: def dump(obj, fp, **user_kwargs):
      
      return json.dump(obj, fp, **_encoder_kwargs(user_kwargs))
docs: Serialize ``obj`` as a JSON-formatted stream and write to ``fp`` (a
      ``.write()``-supporting file-like object.