anchor.diff:      /// <param name="xs">
       ///     The flat sequence to use to create the multiset.
       /// </param>
  +    /// <typeparam name="item">
  +    ///     The type of items in the multiset.
  +    /// </typeparam>
       /// <returns>
       ///     A multiset containing the given items.
       /// </returns>
  -    let ofFlatSeq xs =
  +    let ofFlatSeq (xs : 'item seq) : Multiset<'item> =
           Seq.fold add empty xs
   
       /// <summary>
  
positive.code:     /// <returns>
      ///     The number of elements in <paramref name="_arg1" />.
      /// </returns>
      let length (MSet mset) =
          mset |> Map.fold (fun count _ n -> count + n) 0
  
      /// <summary>
  
negative.code: /// <returns>
  ///     A new <c>Func</c> with the given name and parameters.
  /// </returns>
  let func (name : string)
           (pars : 'param seq)
           : Func<'param> =
      { Name = name; Params = List.ofSeq pars }
  
  module Func =
      module Pretty =
  