anchor.diff:  
       /// <summary>Builds a non empty sequence from the given sequence.</summary>
       /// <param name="seq">The input sequence.</param>
  -    /// <returns>Non empty sequence containing the elements of the list.</returns>
  +    /// <returns>Non empty sequence containing the elements of the sequence.</returns>
       /// <exception cref="System.ArgumentException">Thrown when the input sequence is empty.</exception>
       /// <remarks>
       ///   Throws exception for empty sequence.
  
positive.code: module NonEmptySeq =
      /// <summary>Builds a non empty sequence from the given sequence.</summary>
      /// <param name="seq">The input sequence.</param>
      /// <returns>Non empty sequence containing the elements of the list.</returns>
      /// <remarks>
      ///   **This function does not check whether the sequence is actually non empty or not.**
      /// 
  
negative.code: 
      /// <summary>Builds a non empty sequence from the given array.</summary>
      /// <param name="array">The input array.</param>
      /// <returns>Non empty sequence containing the elements of the array.</returns>
      /// <exception cref="System.ArgumentException">Thrown when the input array is empty.</exception>
      /// <remarks>Throws exception for empty array</remarks>
      let ofArray (array: _[]) =
  