val remove_task_inst_uncompleted :
?remove_children_task_segs:bool ->
Task_.task_inst_id ->
sched ->
schedval remove_task_inst_completed :
?remove_children_task_segs:bool ->
Task_.task_inst_id ->
sched ->
schedval remove_task_inst_discarded :
?remove_children_task_segs:bool ->
Task_.task_inst_id ->
sched ->
schedval remove_task_inst_all :
?remove_children_task_segs:bool ->
Task_.task_inst_id ->
sched ->
schedval remove_task_inst_uncompleted_seq :
?remove_children_task_segs:bool ->
Task_.task_inst_id Stdlib.Seq.t ->
sched ->
schedval remove_task_inst_completed_seq :
?remove_children_task_segs:bool ->
Task_.task_inst_id Stdlib.Seq.t ->
sched ->
schedval remove_task_inst_discarded_seq :
?remove_children_task_segs:bool ->
Task_.task_inst_id Stdlib.Seq.t ->
sched ->
sched