code: def TimestampToRDFDatetime(timestamp):
    
    # TODO(hanuszczak): `timestamp` should be of MySQL type `Decimal`. However,
    # it is unclear where this type is actually defined and how to import it in
    # order to have a type assertion.
    if timestamp is None:
      return None
    else:
      micros = int(1000000 * timestamp)
      return rdfvalue.RDFDatetime.FromMicrosecondsSinceEpoch(micros)
docs: Converts MySQL `TIMESTAMP(6)` columns to datetime objects.