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