#ifndef __NEXA__
#define __NEXA__

#include <stdbool.h>
#include <stdint.h>

void NEXA_resetDecoder ();

int64_t nextPulseNEXA(uint32_t width);

#endif