[][src]Type Definition rpi_pico_sdk::ctypes::c_double

type c_double = f64;