[][src]Constant rpi_pico_sdk::__STDC_WANT_LIB_EXT1__

pub const __STDC_WANT_LIB_EXT1__: u32 = 1;