sig
  module Make :
    functor (Q : Common.QUEUE->
      sig
        val empty :
          unit ->
          Common.int_set ->
          Common.int_set ->
          ('a * Common.int_set * Common.int_set) Q.t -> bool
      end
end