Type Definition TRIGGER_CHANNEL_PROPERTIES
pico_sys_dynamic::ps5000
type TRIGGER_CHANNEL_PROPERTIES = tTriggerChannelProperties;