Source position: sync.pp line 81
type TXSyncTrigger = record
counter: TXSyncCounter;
value_type: TXSyncValueType;
wait_value: TXSyncValue;
test_type: TXSyncTestType;
end;