parameters: (timestamp)
return_statement: return timestamp.strftime("%H:%M:%S.%f")[:-3]
docstring: Parses a datetime object into a string for log comparisons.
      Trims microseconds to milliseconds.
docstring_summary: Parses a datetime object into a string for log comparisons.
      Trims microseconds to milliseconds.
docstring_tokens: Parses a datetime object into a string for log comparisons . Trims microseconds to milliseconds .
function: def str_time(timestamp):
      """
      Parses a datetime object into a string for log comparisons.
      Trims microseconds to milliseconds."""
      return timestamp.strftime("%H:%M:%S.%f")[:-3]
function_tokens: def str_time ( timestamp ) : return timestamp . strftime ( "%H:%M:%S.%f" ) [ : - 3 ]