val find_task_inst_uncompleted_opt :
Task_.task_inst_id ->
sched ->
Task_.task_inst_data optionval find_task_inst_completed_opt :
Task_.task_inst_id ->
sched ->
Task_.task_inst_data optionval find_task_inst_discarded_opt :
Task_.task_inst_id ->
sched ->
Task_.task_inst_data optionval find_task_inst_any_opt :
Task_.task_inst_id ->
sched ->
Task_.task_inst_data optionval find_task_inst_any_with_status_opt :
Task_.task_inst_id ->
sched ->
(Task_.task_inst_data * task_related_status) optionval find_task_inst_ids_by_task_id :
Task_.task_id ->
sched ->
Task_.task_inst_id Stdlib.Seq.tval find_task_inst_seq_uncompleted_by_task_id :
Task_.task_id ->
sched ->
Task_.task_inst Stdlib.Seq.tval find_task_inst_seq_completed_by_task_id :
Task_.task_id ->
sched ->
Task_.task_inst Stdlib.Seq.tval find_task_inst_seq_discarded_by_task_id :
Task_.task_id ->
sched ->
Task_.task_inst Stdlib.Seq.tval find_task_inst_seq_any_by_task_id :
Task_.task_id ->
sched ->
Task_.task_inst Stdlib.Seq.tval find_task_inst_seq_any_with_status_by_task_id :
Task_.task_id ->
sched ->
(Task_.task_inst * task_related_status) Stdlib.Seq.t