Source file sched_req_t.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
[@@@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)