anchor.diff:      static member internal Empty
           with get () = empty
   
  +(*
       /// Create an LruCache from a sequence of key-value pairs.
       new (capacity : uint32, elements : seq<'Key * 'T>) =
           // Preconditions
  
positive.code:         else
              // The new capacity is smaller than the old capacity, so we need to
              // evict (capacity - newCapacity) values.
              notImpl "LruCache.ChangeCapacity"
  
      //
      member __.ToSeq () : seq<'Key * 'T> =
  
negative.code:             // TEMP : This is necessary because of the exception being raised (above).
              // It can be removed whenever this code path is implemented.
              LruCache (HashMap.empty, IntMap.empty, 0u, 0u)
  *)
  
      /// Is the cache empty?
      member __.IsEmpty
  