parameters: (self, userID)
docstring: :type userID: int
          :rtype: None
docstring_summary: :type userID: int
          :rtype: None
docstring_tokens: : type userID : int : rtype : None
function: def leave(self, userID):
          """
          :type userID: int
          :rtype: None
          """
          if userID not in self.__lookup:
              return
          self.__lookup.remove(userID)
          self.__users[userID-1] = []
          heapq.heappush(self.__min_heap, userID)
function_tokens: def leave ( self , userID ) : if userID not in self . __lookup : return self . __lookup . remove ( userID ) self . __users [ userID - 1 ] = [ ] heapq . heappush ( self . __min_heap , userID )