package daypack-lib
Module Daypack_lib.Sched_req_data_unit_skeletonSource
Source
type ('task_seg_related_data, 'time_slot) split_and_shift = {time_slots : 'time_slot list;incre : int64;split_count : split_count;min_seg_size : int64;max_seg_size : int64 option;
}Source
type ('task_seg_related_data, 'time, 'time_slot) t = | Fixed of ('task_seg_related_data, 'time) fixed| Shift of ('task_seg_related_data, 'time_slot) shift| Split_and_shift of ('task_seg_related_data, 'time_slot) split_and_shift| Split_even of ('task_seg_related_data, 'time_slot) split_even| Push_toward of ('task_seg_related_data, 'time, 'time_slot) push_toward
Source
val shift_time_list :
offset:int64 ->
('a, int64, Time_slot.t) t list ->
('a, int64, Time_slot.t) t list