sig
  type 'a t
  val make : 'a -> 'a Scheduling.MVar.t
  val get : 'a Scheduling.MVar.t -> 'a
  val set : 'a Scheduling.MVar.t -> 'a -> unit
  val update : f:('a -> 'a * 'b) -> 'a Scheduling.MVar.t -> 'b
end