anchor.diff:      combined.AddRange resizeArray2
       combined
   
  -//
  +/// Build a new ResizeArray that contains the given subrange specified by
  +/// starting index and length.
   [<CompiledName("Sub")>]
   let sub (resizeArray : ResizeArray<'T>) start count : ResizeArray<'T> =
       // Preconditions
  
positive.code:         state <- folder.Invoke (i, resizeArray.[i], state)
      state
  
  //
  [<CompiledName("FoldBack2")>]
  let foldBack2 folder (resizeArray1 : ResizeArray<'T1>)
      (resizeArray2 : ResizeArray<'T2>) (state : 'State) : 'State =
  
negative.code:         index <- index + 1
      foundMatch
  
  /// Test if all elements of the array satisfy the given predicate.
  /// If the input function is <c>f</c> and the elements are <c>i0...iN</c> and "j0...jN"
  /// then computes <c>p i0 && ... && p iN</c>.
  [<CompiledName("Forall")>]
  let inline forall (predicate : 'T -> bool) (resizeArray : ResizeArray<'T>) : bool =
      // Preconditions
  