anchor.diff:    val create: unit -> Job<Ch<'x>>
   
     /// Creates an alternative that, at instantiation time, offers to give the
  -  /// given value on the given channel, and becomes available for picking when
  -  /// another job offers to take the value.
  +  /// given value on the given channel, and becomes available when another job
  +  /// offers to take the value.
     val inline give: Ch<'x> -> 'x -> Alt<unit>
   
     /// Creates an alternative that, at instantiation time, offers to take a value
  -  /// from another job on the given channel, and becomes available for picking
  -  /// when another job offers to give a value.
  +  /// from another job on the given channel, and becomes available when another
  +  /// job offers to give a value.
     val inline take: Ch<'x> -> Alt<'x>
   
     /// Creates a job that sends a value to another job on the given channel.  A
  
positive.code:   /// Infix operators on alternatives.  You can open this module to bring all
    /// of the infix operators into scope.
    module Infixes =
      /// Creates an alternative that is available for picking when either of the
      /// given alternatives is available.  `xA1 <|>? xA2` is an optimized version
      /// of `choose [xA1; xA2]`.
  #if DOC
      ///
      /// The given alternatives are processed in a left-to-right order with
      /// short-cut evaluation.  In other words, given an alternative of the form
      /// `first <|>? second`, the `first` alternative is first instantiated and,
      /// if it is pickable, is committed to and the `second` alternative will not
      /// be instantiated at all.
  #endif
      val (<|>?): Alt<'x> -> Alt<'x> -> Alt<'x>
  
  
negative.code: /// infix operators into scope.
  module Infixes =
    /// Creates an alternative that, at instantiation time, offers to give the
    /// given value on the given channel, and becomes available when another job
    /// offers to take the value.  `xCh <-? x` is equivalent to `Ch.Alt.give xCh
    /// x`.
    val inline (<--): Ch<'x> -> 'x -> Alt<unit>
  
    /// Creates a job that sends a value to another job on the given channel.  A
  