val find_task_seg_uncompleted_opt :
Task_.task_seg_id ->
sched ->
Task_.task_seg_size optionval find_task_seg_completed_opt :
Task_.task_seg_id ->
sched ->
Task_.task_seg_size optionval find_task_seg_discarded_opt :
Task_.task_seg_id ->
sched ->
Task_.task_seg_size optionval find_task_seg_any_opt :
Task_.task_seg_id ->
sched ->
Task_.task_seg_size optionval find_task_seg_any_with_status_opt :
Task_.task_seg_id ->
sched ->
(Task_.task_seg_size * task_related_status) optionval find_task_seg_ids_by_task_inst_id :
Task_.task_inst_id ->
sched ->
Task_.task_seg_id Seq.tval find_task_seg_seq_uncompleted_by_task_inst_id :
Task_.task_inst_id ->
sched ->
Task_.task_seg Seq.tval find_task_seg_seq_completed_by_task_inst_id :
Task_.task_inst_id ->
sched ->
Task_.task_seg Seq.tval find_task_seg_seq_discarded_by_task_inst_id :
Task_.task_inst_id ->
sched ->
Task_.task_seg Seq.tval find_task_seg_seq_any_by_task_inst_id :
Task_.task_inst_id ->
sched ->
Task_.task_seg Seq.tval find_task_seg_seq_any_with_status_by_task_inst_id :
Task_.task_inst_id ->
sched ->
(Task_.task_seg * task_related_status) Seq.tval find_task_seg_ids_by_task_id :
Task_.task_id ->
sched ->
Task_.task_seg_id Seq.tval find_task_seg_seq_uncompleted_by_task_id :
Task_.task_id ->
sched ->
Task_.task_seg Seq.tval find_task_seg_seq_completed_by_task_id :
Task_.task_id ->
sched ->
Task_.task_seg Seq.tval find_task_seg_seq_discarded_by_task_id :
Task_.task_id ->
sched ->
Task_.task_seg Seq.tval find_task_seg_seq_any_by_task_id :
Task_.task_id ->
sched ->
Task_.task_seg Seq.tval find_task_seg_seq_any_with_status_by_task_id :
Task_.task_id ->
sched ->
(Task_.task_seg * task_related_status) Seq.t