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