Using ADC 6 Click with Arduino IDE and Teensy

[ADCMission]

Just acquired an ADC 6 click and am wanting to run this from a Teensy 4.1 using the Arduino IDE.

I'm looking for relevant libraries to assist with this. (I'm not an experienced user or programmer, but am persistent and enjoying the learning experience!)
I've downloaded the Library for ADC 6 Click from the website and see the various example files in the provided html documentation, e.g. Click_ADC_6_STM.c amongst many other similar versions.

https://libstock.mikroe.com/projects/vi ... dc-6-click

These all reference the same two libraries that I cant find. Can you point me to these?
#include "Click_ADC_6_types.h"
#include "Click_ADC_6_config.h"

I would welcome any other advice or tips on getting these two great little boards working together.

I've seen there are also libraries available on the analog devices website for the underlying AD7124-8 ADC chip at the heart of the ADC 6 click.
Can these be used instead? If so which do you recommend in this case?

Appreciate any help you can provide.