#ifndef Encoder_h
#define Encoder_h
#include <stdint.h>

void encoder_Initialization();
int32_t get_encoder_value();

#endif  /*Encoder_h*/