#ifndef __CLASO__ #define __CLASO__ #include <stdbool.h> #include <stdint.h> void ClasO_ResetDecoder (); int64_t nextPulseClasOSensor(uint32_t width); #endif