#include "src/Types.h" void Timer_EnablePeripheralClocks(void); void Timer_Reset(void); void Timer_ConfigureMode(void); void Timer_ConfigurePeriod(void); void Timer_EnableOutputPin(void); void Timer_Enable(void); void Timer_ConfigureInterruptHandler(void); void Timer_Start(void);