anchor.diff:      /// Default options.
       static member Def: Create
   
  -  /// Creates a new local scheduler.
  +  /// Creates a new local scheduler.  Note that a local scheduler does not
  +  /// automatically implement services such as the global wall-clock timer.
     val create: Create -> Scheduler
   
     /// Starts running the given job, but does not wait for the job to finish.
  
positive.code: 
  /////////////////////////////////////////////////////////////////////////
  
  /// Operations on the wall-clock timer.
  module Timer =
  
    /// Operations on the global wall-clock timer.
    module Global =
      /// Creates an alternative that, after instantiation, becomes pickable
      /// after the specified time span.  Note that this is simply not intended
  
negative.code:     /// "xJ >>! e" is equivalent to "xJ >>= fun _ -> raise e".
      val (>>!): Job<'x> -> exn -> Job<'y>
  
      /// "xJ <&> yJ" is equivalent to "xJ >>= fun x -> yK >>= fun y -> result
      /// (x, y)".
      val (<&>): Job<'x> -> Job<'y> -> Job<'x * 'y>
  
      /// Creates a job that either runs the given jobs sequentially, like <&>,
  