anchor.diff:  
   /////////////////////////////////////////////////////////////////////////
   
  -/// Operations on the wall-clock timer.
  +/// Operations on a wall-clock timer.
   module Timer =
   
  -  /// Operations on the global wall-clock timer.
  +  /// Operations on the global wall-clock timer.  The global timer is implicitly
  +  /// associated with the global scheduler.
     module Global =
       /// Creates an alternative that, after instantiation, becomes pickable
       /// after the specified time span.  Note that this is simply not intended
  
positive.code:     /// Default options.
      static member Def: Create
  
    /// Creates a new local scheduler.
    val create: Create -> Scheduler
  
    /// Starts running the given job, but does not wait for the job to finish.
  
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 <&>,
  