#ifndef __INFRARED_SENSOR_H #define __INFRARED_SENSOR_H #include "stdint.h" void InfraredSensor_Init(void); uint16_t InfraredSensor_Get_Count(void); #endif