I need help!!!

Hi, I'm starting to use Arduino and I got stuck with a project. I can't see where is the error but it is showing up all the time. Really, I don't understand what is the error.

Here is the error:

In file included from C:\Program Files\WindowsApps\ArduinoLLC.ArduinoIDE_1.8.15.0_x86__mdqgnx93n4wtt\libraries\Servo\src/Servo.h:63:0,

from C:\Users\Acer\Documents\Arduino\sketch_nov20a\sketch_nov20a.ino:7:

C:\Program Files\WindowsApps\ArduinoLLC.ArduinoIDE_1.8.15.0_x86__mdqgnx93n4wtt\libraries\Servo\src/avr/ServoTimers.h:57:1: error: expected ',' or ';' before 'typedef'

typedef enum { _timer1, _Nbr_16timers } timer16_Sequence_t;

^

C:\Program Files\WindowsApps\ArduinoLLC.ArduinoIDE_1.8.15.0_x86__mdqgnx93n4wtt\libraries\Servo\src/avr/ServoTimers.h:57:41: error: 'timer16_Sequence_t' does not name a type

typedef enum { _timer1, _Nbr_16timers } timer16_Sequence_t;

^

C:\Users\Acer\Documents\Arduino\sketch_nov20a\sketch_nov20a - copia.ino:6:5: error: redefinition of 'int buttonState'

int buttonState = 0

^

C:\Users\Acer\Documents\Arduino\sketch_nov20a\sketch_nov20a.ino:6:5: note: 'int buttonState' previously defined here

int buttonState = 0

^

C:\Users\Acer\Documents\Arduino\sketch_nov20a\sketch_nov20a - copia.ino: In function 'void setup()':

C:\Users\Acer\Documents\Arduino\sketch_nov20a\sketch_nov20a - copia.ino:10:6: error: redefinition of 'void setup()'

void setup() {

^

C:\Users\Acer\Documents\Arduino\sketch_nov20a\sketch_nov20a.ino:10:6: note: 'void setup()' previously defined here

void setup()

^

C:\Users\Acer\Documents\Arduino\sketch_nov20a\sketch_nov20a - copia.ino: In function 'void loop()':

C:\Users\Acer\Documents\Arduino\sketch_nov20a\sketch_nov20a - copia.ino:22:6: error: redefinition of 'void loop()'

void loop() {

^

C:\Users\Acer\Documents\Arduino\sketch_nov20a\sketch_nov20a.ino:23:6: note: 'void loop()' previously defined here

void loop()

^

exit status 1
Error compilando para la tarjeta Arduino/Genuino Uno.

Also, here is my code:

#define trigPin 2
#define echoPin 3
#define ledGreen 9
#define ledRed 8
#define button 12
int buttonState = 0
#include <Servo.h>
Servo servo;

void setup()
{
Serial.begin (9600);
pinMode(trigPin, OUTPUT);
pinMode(echoPin, INPUT);
pinMode(ledGreen, OUTPUT);
pinMode(ledRed, OUTPUT);
pinMode(button, INPUT);
servo.attach(5);
servo.write(0);
delay(1000);
}

void loop()
{  
long duration;
buttonState = digitalRead(button);
if (buttonState = HIGH)
{ 
digitalWrite(trigPin, LOW); 
delayMicroseconds(2); 
digitalWrite(trigPin, HIGH);
delayMicroseconds(10); 
digitalWrite(trigPin, LOW);
duration = pulseIn(echoPin, HIGH);
digitalWrite(ledRed,LOW);  
digitalWrite(ledGreen,HIGH);
servo.write(180);
delay(500);
servo.write(0);
delay(500);
}
else 
{
digitalWrite(ledRed,HIGH);
digitalWrite(ledGreen,LOW);
}
delay(2000);
}

Thank you for any help.

int buttonState = 0 // add a ;

No No No buttonState = HIGH