anchor.diff:  
   /// Operations on promises.
   module Promise =
  +  /// Creates a job that creates a promise, whose value is computed with the
  +  /// given job, which is scheduled to be run as a separate concurrent job.  See
  +  /// also: `start`, `Job.queue`.
  +  val queue: Job<'x> -> Job<Promise<'x>>
  +
  +  /// Creates a job that creates a promise, whose value is computed with the
  +  /// given job, which is immediately started to run as a separate concurrent
  +  /// job.  See also: `queue`, `Job.queue`.
  +  val start: Job<'x> -> Job<Promise<'x>>
  +
  +  /// Creates an alternative for reading the promise.  If the promise was
  +  /// delayed, it is started as a separate job.
  +  val inline read: Promise<'x> -> Alt<'x>
  +
     /// Immediate or non-workflow operations on promises.
     module Now =
       /// Creates a promise whose value is computed lazily with the given job when
  
positive.code: 
    //# First-order interface
  
    /// Immediate operations on latches.
    module Now =
      /// Creates a new latch with the specified initial count.
  
negative.code: 
  /// Operations on synchronous channels.
  module Ch =
    /// Operations bound to the global scheduler.
    [<Obsolete "Will be removed.">]
    module Global =
  