 #include "declarations.h"
+#include <Servo.h>     
+
+Servo servoLeft;
+Servo servoRight;
 
 void setup() {
   Serial.begin(9600);                        // Set data rate to 9600 bps

  pinMode(irRecPinLeft, INPUT);  pinMode(irLEDPinLeft, OUTPUT);   // IR LED & Receiver
  pinMode(irRecPinRight, INPUT);  pinMode(irLEDPinRight, OUTPUT);

}

void loop() {
  // put your main code here, to run repeatedly:

}


// IR Detection function
int irDetect(int irLedPin, int irReceiverPin, long frequency)
{
  tone(irLedPin, frequency, 10);             // IRLED 38 kHz for at least 1 ms
  delay(1);                                  // Wait 1 ms
  int ir = digitalRead(irReceiverPin);       // IR receiver -> ir variable
  delay(1);                                  // Down time before recheck
