def _json_encode_datetime(o):
return {"<STR_LIT>": o.strftime(_DATETIME_FORMAT)}<EOL>
Json encode a datetime object.

    Args:
      o: a datetime object.

    Returns:
      A dict of json primitives.