sig
  module type QUEUE =
    sig
      type 'a t
      exception Empty
      val create : unit -> 'a ExtSQueue.QUEUE.t
      val add : 'a -> 'a ExtSQueue.QUEUE.t -> unit
      val push : 'a -> 'a ExtSQueue.QUEUE.t -> unit
      val take : 'a ExtSQueue.QUEUE.t -> 'a
      val pop : 'a ExtSQueue.QUEUE.t -> 'a
      val peek : 'a ExtSQueue.QUEUE.t -> 'a
      val top : 'a ExtSQueue.QUEUE.t -> 'a
      val clear : 'a ExtSQueue.QUEUE.t -> unit
      val copy : 'a ExtSQueue.QUEUE.t -> 'a ExtSQueue.QUEUE.t
      val is_empty : 'a ExtSQueue.QUEUE.t -> bool
      val length : 'a ExtSQueue.QUEUE.t -> int
      val iter : ('a -> unit) -> 'a ExtSQueue.QUEUE.t -> unit
      val fold : ('a -> 'b -> 'a) -> 'a -> 'b ExtSQueue.QUEUE.t -> 'a
      val transfer : 'a ExtSQueue.QUEUE.t -> 'a ExtSQueue.QUEUE.t -> unit
    end
  module Queue :
    sig
      type 'a t
      exception Empty
      val create : unit -> 'a t
      val add : 'a -> 'a t -> unit
      val push : 'a -> 'a t -> unit
      val take : 'a t -> 'a
      val pop : 'a t -> 'a
      val peek : 'a t -> 'a
      val top : 'a t -> 'a
      val clear : 'a t -> unit
      val copy : 'a t -> 'a t
      val is_empty : 'a t -> bool
      val length : 'a t -> int
      val iter : ('a -> unit) -> 'a t -> unit
      val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
      val transfer : 'a t -> 'a t -> unit
      val string_of : ('a -> string) -> 'a t -> string
    end
end