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