I took a quick look, but this a more than a missing header file.
The IRremote is also expecting digitalPinToPinName(), which is not available in the V2.x Sparkfun Library.
Someone had an earlier question about IRremote and Artemis Nano. Porting an Arduino library to Artemis RedBoard Nano.
Looking at the timing I expect this was on V1.x of the Sparkfun library as the first version of V2.x was launched couple of months later in September 2020
Maybe you can reach out and try to find out.