Writing to SD card with SPI on a STM32 processor

Is this the correct example to use if I’m trying to read/write to an SD card with a Multitech Dragonfly (STM32 microprocessor) with the latest mbed-os?

It uses the “SDBlockDevice.h” header, but no library/header is linked to in the example page, and all the links that are included lead to a 404 error. Also, no library called SDBlockDevice shows up in the Import Wizard.