original_string: public function delete_user(string $user): bool
  	{
  		if ( bbn\str::check_name($user) ){
  			$this->db->raw_query("
  			REVOKE ALL PRIVILEGES ON *.*
  			FROM $user");
  			return (bool)$this->db->query("DROP USER $user");
  		}
  		return false;
  	}
code: public function delete_user(string $user): bool
  	{
  		if ( bbn\str::check_name($user) ){
  			$this->db->raw_query("
  			REVOKE ALL PRIVILEGES ON *.*
  			FROM $user");
  			return (bool)$this->db->query("DROP USER $user");
  		}
  		return false;
  	}
code_tokens: public function delete_user ( string $ user ) : bool { if ( bbn \ str :: check_name ( $ user ) ) { $ this -> db -> raw_query ( "
  			REVOKE ALL PRIVILEGES ON *.*
  			FROM $user" ) ; return ( bool ) $ this -> db -> query ( "DROP USER $user" ) ; } return false ; }
docstring: Deletes a database user
  
  @param string $user
  @return bool
docstring_tokens: Deletes a database user