anchor.diff:          queue.Dequeue ()
   
       //
  +    let inline toList (queue : Queue<'T>) : 'T list =
  +        // Preconditions
  +        checkNonNull "queue" queue
  +        
  +        queue.ToList ()
  +
  +    //
       let inline toArray (queue : Queue<'T>) : 'T[] =
           // Preconditions
           checkNonNull "queue" queue
  
positive.code: 
      //
      member this.ToArray () : 'T[] =
          // OPTIMIZATION : If the queue is empty, return an empty array.
          if this.IsEmpty then
              Array.empty
          else
  
negative.code:                 rear,
                  LazyList.tail pending)
  
      // TODO
      // functions for converting to/from System.Collections.Generic.Queue?
  
  //
  [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
  module Queue =
  