Type Definition PICO_PORT_DIGITAL_CHANNEL
pico_sdk::sys::ps6000a
type PICO_PORT_DIGITAL_CHANNEL = u32;