
  TYPE
    tmt$dispatching_prio_controls = RECORD
      time_left_in_interval: ost$free_running_clock,
      dispatching_priority_time: tmt$dispatching_priority_time,
    RECEND,

    tmt$dispatching_priority_time = ARRAY [jmt$user_dispatching_priority] OF tmt$time_limits,

    tmt$time_limits = RECORD
      minimum_time: ost$free_running_clock,
      maximum_time: ost$free_running_clock,
    RECEND;

*copyc jmt$dispatching_priority
*copyc ost$free_running_clock
