anchor.diff:  
           set.Contains (int key)
   
  +    /// Returns the lowest element in the set according to an unsigned integer comparison.
  +    [<CompiledName("MinElement")>]
  +    let inline minElement (set : TagSet<'Tag>) : int<'Tag> =
  +        // Retype as IntSet
  +        let set : IntSet = retype set
  +
  +        // Preconditions
  +        checkNonNull "set" set
  +
  +        set.MinElement
  +        |> retype
  +
  +    /// Returns the lowest element in the set according to a signed integer comparison.
  +    [<CompiledName("MinElementSigned")>]
  +    let inline minElementSigned (set : TagSet<'Tag>) : int<'Tag> =
  +        // Retype as IntSet
  +        let set : IntSet = retype set
  +
  +        // Preconditions
  +        checkNonNull "set" set
  +
  +        set.MinElementSigned
  +        |> retype
  +
  +    /// Returns the highest element in the set according to an unsigned integer comparison.
  +    [<CompiledName("MaxElement")>]
  +    let inline maxElement (set : TagSet<'Tag>) : int<'Tag> =
  +        // Retype as IntSet
  +        let set : IntSet = retype set
  +
  +        // Preconditions
  +        checkNonNull "set" set
  +
  +        set.MaxElement
  +        |> retype
  +
  +    /// Returns the highest element in the set according to a signed integer comparison.
  +    [<CompiledName("MaxElementSigned")>]
  +    let inline maxElementSigned (set : TagSet<'Tag> : int<'Tag> =
  +        // Retype as IntSet
  +        let set : IntSet = retype set
  +
  +        // Preconditions
  +        checkNonNull "set" set
  +
  +        set.MaxElementSigned
  +        |> retype
  +
       /// Computes the union of the two sets.
       [<CompiledName("Union")>]
       let inline union (set1 : TagSet<'Tag>) (set2 : TagSet<'Tag>) : TagSet<'Tag> =
  
positive.code: 
          set.MaxElement
  
      //
      [<CompiledName("MaxElementSigned")>]
      let inline maxElementSigned (set : IntSet) : int =
          // Preconditions
  
negative.code: 
          set.MinElement
  
      /// Returns the lowest element in the set according to a signed integer comparison.
      [<CompiledName("MinElementSigned")>]
      let inline minElementSigned (set : IntSet) : int =
          // Preconditions
  