sig
  type 'a t
  val return : 'a -> 'a Scheduling.Fut.t
  val map : ('a -> 'b) -> 'a Scheduling.Fut.t -> 'b Scheduling.Fut.t
  type 'a final_state = Stopped | Done of 'a | Fail of exn
  type tasks_bag
  type 'a on_res_callback =
      Scheduling.Fut.tasks_bag -> 'a Scheduling.Fut.final_state -> unit
  val make :
    ?on_res:'a Scheduling.Fut.on_res_callback list ->
    (unit -> 'a) -> 'a Scheduling.Fut.t
  val stop : 'a Scheduling.Fut.t -> unit
  val is_done : 'a Scheduling.Fut.t -> bool
  val on_res :
    'a Scheduling.Fut.t -> f:'a Scheduling.Fut.on_res_callback -> unit
  val get : 'a Scheduling.Fut.t -> 'a Scheduling.Fut.final_state
end