original_docstring: 
      Add a user to the database.
      :param db: The db session to use.
      :param user: The name of the user to create.
      :param admin: If the user has admin rights.
      :return: The newly created user object.
      
docstring: Add a user to the database.
docstring_tokens: Add a user to the database .
code: def create_user(db: Session, user: str, admin: bool) -> models.User:
      """
      Add a user to the database.
      :param db: The db session to use.
      :param user: The name of the user to create.
      :param admin: If the user has admin rights.
      :return: The newly created user object.
      """
      db_user = models.User(name=user, admin=admin)
      db.add(db_user)
      db.commit()
      db.refresh(db_user)
      return db_user
code_tokens: def create_user ( db : Session , user : str , admin : bool ) -> models . User : db_user = models . User ( name = user , admin = admin ) db . add ( db_user ) db . commit ( ) db . refresh ( db_user ) return db_user
short_docstring: Add a user to the database.
short_docstring_tokens: Add a user to the database .
comment: """
      Add a user to the database.
      :param db: The db session to use.
      :param user: The name of the user to create.
      :param admin: If the user has admin rights.
      :return: The newly created user object.
      """