anchor.diff:      for i = 0 to count - 1 do
           action.Invoke (i, resizeArray.[i])
   
  -//
  +/// <summary>
  +/// Apply the given function to two arrays simultaneously. The two arrays
  +/// must have the same lengths, otherwise an <c>ArgumentException</c> is raised.
  +/// </summary>
   [<CompiledName("Iter2")>]
   let iter2 action (resizeArray1 : ResizeArray<'T1>) (resizeArray2 : ResizeArray<'T1>) : unit =
       // Preconditions
  
positive.code:         results.Add state
      results
  
  //
  [<CompiledName("Scan")>]
  let scan folder (state : 'State) (resizeArray : ResizeArray<'T>) : ResizeArray<'State> =
      // Preconditions
  
negative.code: 
          result
  
  /// <summary>
  /// Return the first element for which the given function returns <c>true</c>.
  /// Return <c>None</c> if no such element exists.
  /// </summary>
  [<CompiledName("TryFind")>]
  let tryFind (predicate : 'T -> bool) (resizeArray : ResizeArray<'T>) : 'T option =
      // Preconditions
  