JobId typedef

JobId = String

The VTC's identifier for a job, unique across the VTC's jobs.

Implementation

typedef JobId = String;