[][src]Type Definition ttspico_sys::pico_Int32

type pico_Int32 = c_int;