sig
  type 'res t
  val make :
    ?prio:int ->
    ?slice:float ->
    (deadline:float -> unit -> 'a * Scheduling.shortcut) ->
    'a Scheduling.Task.t
  val of_fut :
    ?prio:int ->
    ?slice:float ->
    (deadline:float -> unit -> ('a * Scheduling.shortcut) Scheduling.Fut.t) ->
    'a Scheduling.Task.t
  val map : f:('a -> 'b) -> 'a Scheduling.Task.t -> 'b Scheduling.Task.t
end