pico-examples/pio/ir_nec/nec_transmit_library/nec_transmit.h

#include "pico/stdlib.h"
#include "hardware/pio.h"

// public API
//
int nec_tx_init(PIO pio, uint pin);
uint32_t nec_encode_frame (uint8_t address, uint8_t data);