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