anchor.diff:  /// Functions for manipulating sequences within 'async' workflows.
   [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
   module Seq =
  -    //
  +    /// Returns a new sequence created by transforming each element of an
  +    /// sequence into an Async value which returns the element when executed.
       [<CompiledName("Lift")>]
       let lift (source : seq<'T>) : seq<Async<'T>> =
           // Preconditions
  
positive.code:         return result
          }
  
      //
      [<CompiledName("MapIndexed")>]
      let mapi (mapping : int -> 'T -> Async<'U>) (array : 'T[]) : Async<'U[]> =
          // Preconditions
  
negative.code:                 return! tryFindIndexImpl (predicate, pending, currentIndex + 1)
          }
  
      /// Async implementation of List.tryFindIndex.
      [<CompiledName("TryFindIndex")>]
      let tryFindIndex (predicate : 'T -> Async<bool>) (list : 'T list) : Async<int option> =
          // Preconditions
  