anchor.diff:  
       /// Increments the counter of the latch.
       val inline increment: Latch -> unit
  -
  -  /// Returns a job that explicitly decrements the counter of the latch.  When
  -  /// the counter reaches `0`, the latch becomes open and operations awaiting
  -  /// the latch are resumed.
  -  val inline decrement: Latch -> Job<unit>
  -
  -  //# Await
  -
  -  /// Returns an alternative that becomes available once the latch opens.
  -  val inline await: Latch -> Alt<unit>
   
   ////////////////////////////////////////////////////////////////////////////////
   
  
positive.code: 
  /// Operations on serialized variables.
  module MVar =
    /// Immediate or non-workflow operations on serialized variables.
    [<Obsolete "Will be removed.">]
    module Now =
  
negative.code:     /// the given channel.  Note that the other side of the communication must
      /// be blocked on the channel for communication to happen.
      val inline take: Ch<'x> -> Job<option<'x>>
  
    /// Immediate or non-workflow operations on synchronous channels.
    module Now =
      /// Creates a new channel.
      [<Obsolete "Just use the constructor.">]
      val inline create: unit -> Ch<'x>
  
      /// Sends the given value to the specified channel.  `Ch.Now.send xCh x` is
      /// equivalent to `Ch.send xCh x |> TopLevel.start`.
      ///
      /// Note that using this function in a job workflow is not optimal and you
      /// should use `Ch.send` instead.
      val send: Ch<'x> -> 'x -> unit
  
  ////////////////////////////////////////////////////////////////////////////////
  
  