Source file sched_req_t.ml

(* Auto-generated from "sched_req.atd" *)
[@@@ocaml.warning "-27-32-33-35-39"]

type time_slot = Time_slot_t.time_slot

type task_seg_alloc_req = Task_t.task_seg_alloc_req

type task_seg = Task_t.task_seg

type ('a, 'b, 'c) sched_req_data_unit_skeleton =
  ('a, 'b, 'c) Sched_req_data_unit_skeleton_t.sched_req_data_unit_skeleton

type int64 = Int64_t.int64

type sched_req_record_data_unit =
  (task_seg, int64, time_slot) sched_req_data_unit_skeleton

type sched_req_record_data = sched_req_record_data_unit list

type sched_req_id = int64

type sched_req_record = (sched_req_id * sched_req_record_data)

type sched_req_data_unit =
  (task_seg_alloc_req, int64, time_slot) sched_req_data_unit_skeleton

type sched_req_data = sched_req_data_unit list

type sched_req = (sched_req_id * sched_req_data)