File content as of revision 3:dfb6733ae397:

#include "mbed.h"
#include "rtos.h"
#include "Pixy.h"

// ----------------------------------------------------------------
// Contains common defintions share between modes
// ----------------------------------------------------------------

// IO Port
extern DigitalOut led1;
extern DigitalOut led2;
extern DigitalOut led3;
extern DigitalOut led4;
extern DigitalOut leftDir;
extern DigitalOut rightDir;
extern DigitalOut spiReset;
extern DigitalOut ioReset;

// Comunication 
extern SPI deSpi;
extern Pixy pixy;
extern Serial pc; // PC serial channel
extern Serial bt; // Bluetooth serial channel

// Other
extern PwmOut leftPwm; 
extern PwmOut rightPwm; 
extern InterruptIn bumper;  // External interrupt pin declared as Bumper

// Method prototypes
void PI(float error, float *output, float *integral, float kP, float kI, float bound);
float QE2RadsPerSec(short counts, short time);