#include "infrared.h" inline uint8_t INFRARED_GetL() { return HAL_GPIO_ReadPin(HWL_GPIO_Port, HWL_Pin); } inline uint8_t INFRARED_GetR() { return HAL_GPIO_ReadPin(HWR_GPIO_Port, HWR_Pin); }