anchor.diff:          IntMap (
               Lf (uint32 key, value))
   
  +    /// Returns a new IntMap made from the given bindings.
  +    static member OfSeq (source : seq<int * 'T>) : IntMap<'T> =
  +        // Preconditions
  +        checkNonNull "source" source
  +
  +        IntMap (PatriciaMap.OfSeq source)
  +
  +    /// Returns a new IntMap made from the given bindings.
  +    static member OfList (source : (int * 'T) list) : IntMap<'T> =
  +        // Preconditions
  +        checkNonNull "source" source
  +
  +        // OPTIMIZATION : If the source is empty return immediately.
  +        if List.isEmpty source then
  +            IntMap.Empty
  +        else
  +            IntMap (PatriciaMap.OfList source)
  +
  +    /// Returns a new IntMap made from the given bindings.
  +    static member OfArray (source : (int * 'T)[]) : IntMap<'T> =
  +        // Preconditions
  +        checkNonNull "source" source
  +
  +        // OPTIMIZATION : If the source is empty return immediately.
  +        if Array.isEmpty source then
  +            IntMap.Empty
  +        else
  +            IntMap (PatriciaMap.OfArray source)
  +
  +    /// Returns a new IntMap made from the given bindings.
  +    static member OfMap (source : Map<int, 'T>) : IntMap<'T> =
  +        // Preconditions
  +        checkNonNull "source" source
  +
  +        // OPTIMIZATION : If the source is empty return immediately.
  +        if Map.isEmpty source then
  +            IntMap.Empty
  +        else
  +            IntMap (PatriciaMap.OfMap source)
  +
   //
   [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
   module IntMap =
  
positive.code:                 // The prefixes disagree.
                  PatriciaMap.Join (p, s, q, t)
  
  
  //
  [<Sealed>]
  
negative.code: 
          map.ContainsKey key
  
      //
      let inline ofSeq source : IntMap<'T> =
          // Preconditions are checked by the member.
          IntMap.OfSeq source
  
      //
      let inline ofList source : IntMap<'T> =
          // Preconditions are checked by the member.
          IntMap.OfList source
  
      //
      let inline ofArray source : IntMap<'T> =
          // Preconditions are checked by the member.
          IntMap.OfArray source
  
      //
      let inline ofMap source : IntMap<'T> =
          // Preconditions are checked by the member.
          IntMap.OfMap source
  
  
      // TODO
      // exists
      // filter
      // findKey
      // fold, foldBack
      // iter, iterBack
      // map
      // partition
      // pick
      // toArray
      // toList
      // toMap
      // toSeq
      // tryFindKey
      // tryPick
  
  