Adafruit BusIO/Adafruit_SPIDevice.h:1:17: fatal error: SPI.h: No such file or directory

Adding #include <SPI.h> solved the issue. Could you please explain why it worked? Thank you!