You can use it with ArduinoIDE without any particular #include.
If you are using mbed BSP, the output is STANDARD by default and must be set to HIGH.
If you use non-mbed BPS, the output is HIGH by default.
The following link is also for your reference.
“XIAO_nRF52840 mbed's SPI performance is only 1/3.5 of non-mbed's”