val remove_pending_sched_req : Sched_req_.sched_req_id -> sched -> schedval remove_pending_sched_req_if_contains_matching_task_seg_alloc_req :
(Task_.task_seg_alloc_req -> bool) ->
sched ->
schedval remove_pending_sched_req_data_unit_if_contains_matching_task_seg_alloc_req :
(Task_.task_seg_alloc_req -> bool) ->
sched ->
schedval remove_pending_sched_req_by_task_id : Task_.task_id -> sched -> schedval remove_pending_sched_req_by_task_inst_id :
Task_.task_inst_id ->
sched ->
schedval remove_pending_sched_req_by_task_seg_id :
Task_.task_seg_id ->
sched ->
schedval remove_pending_sched_req_data_unit_by_task_id :
Task_.task_id ->
sched ->
schedval remove_pending_sched_req_data_unit_by_task_inst_id :
Task_.task_inst_id ->
sched ->
schedval remove_pending_sched_req_data_unit_by_task_seg_id :
Task_.task_seg_id ->
sched ->
sched